Часть 1     Часть 2     Часть 3     Часть 4   

Таблица 3



Таблица 3
NOT F T U
T
F
U

Таблица 3 Таблица истинности NOT

Имеется несколько парадоксальных следствий применения трехзначной логики.

Парадокс 1. Null-значение не равно самому себе. Действительно, выражение null = null дает значение не ИСТИНА, а НЕИЗВЕСТНО. Значит выражение Таблица 3 не обязательно ИСТИНА!

Парадокс 2. Неверно также, что null-значение не равно самому себе! Действительно, выражение nullТаблица 3null также принимает значение не ИСТИНА, а НЕИЗВЕСТНО! Значит также, что и выражение Таблица 3 тоже не обязательно ЛОЖЬ!

Парадокс 3. Таблица 3 не обязательно ИСТИНА. Значит, в трехзначной логике не работает принцип исключенного третьего (любое высказывание либо истинно, либо ложно).

Таких парадоксов можно построить сколько угодно. Конечно, это на самом деле не парадоксы, а просто следствия из аксиом трехзначной логики.



- Начало - - Назад - - Вперед -