Введение в системы управления базами данных


Пример 3



Пример 3


NOT F T U
T
F
U

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

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

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

не обязательно ИСТИНА!

Парадокс 2. Неверно также, что null-значение не равно самому себе! Действительно, выражение null

null также принимает значение не ИСТИНА, а НЕИЗВЕСТНО! Значит также, что и выражение
тоже не обязательно ЛОЖЬ!

Парадокс 3.

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

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









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



Книжный магазин