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

         

Таблица истинности NOTИмеется несколько



Таблица 3

NOT F T U
T
F
U

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

Содержание раздела