Основные понятия трехзначной логики

Трёхзначная логика была исторически первой многозначной логикой, и является простейшим расширением двузначной логики. Перечень истинностных значений трёхзначной логики помимо «истинно» и «ложно» включает также третье значение, которое трактуется как «неопределено», «неизвестно» или «ошибочно». В последнем случае логику обычно называют частичной.

Важным свойством трёхзначных логик, отражающим их адекватность, является то, что все они представляют собой расширения классической двузначной логики.

В трехзначной логике имеют место следующие соотношения:

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