если мы заранее выбрали правила игры "булева логика", то у нас будут
1. высказывания, которые всегда истинны (1 OR 1 == 1)
2. высказывания, которые всегда ложны (1 XOR 1 == 1)
3. высказывания, которые истинны в некоторых контекстах (x == 1)

А если мы играем с жуликом и/или философом у него логика не-булевая и/или не привязана к реальности, то будут и другие типы высказываний.