2014-02-02
468
Трёхзначная логика была исторически первой многозначной логикой, и является простейшим расширением двузначной логики. Перечень истинностных значений трёхзначной логики помимо «истинно» и «ложно» включает также третье значение, которое трактуется как «неопределено», «неизвестно» или «ошибочно». В последнем случае логику обычно называют частичной.
Важным свойством трёхзначных логик, отражающим их адекватность, является то, что все они представляют собой расширения классической двузначной логики.
В трехзначной логике имеют место следующие соотношения:
1. Ø Ø x = x
2. x & x = x
3. x & 0 = 0
4. x & 2 = x
5. 
6. 
7. 
8. x Ä 1 = x
9. x Ä 0 = 0
10. x Å 0 = x
11. 
12. 
Функции квази-дизъюнкции, квази-конъюнкции и отрицания связаны между собой формулами де Моргана.
| x | 
| 
| 
| 
| 
| j0
| j1 | j2 |
