если мы заранее выбрали правила игры "булева логика", то у нас будут 1. высказывания, которые всегда истинны (1 OR 1 == 1) 2. высказывания, которые всегда ложны (1 XOR 1 == 1) 3. высказывания, которые истинны в некоторых контекстах (x == 1)
А если мы играем с жуликом и/или философом у него логика не-булевая и/или не привязана к реальности, то будут и другие типы высказываний.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2014-03-12 10:38 pm (UTC)1. высказывания, которые всегда истинны (1 OR 1 == 1)
2. высказывания, которые всегда ложны (1 XOR 1 == 1)
3. высказывания, которые истинны в некоторых контекстах (x == 1)
А если мы играем с жуликом и/или философом у него логика не-булевая и/или не привязана к реальности, то будут и другие типы высказываний.