Предикаты в математической логике являются двузначными функциями. Однако как в математике, так и на практике нередко встречаются ситуации, к которым больше подходит многозначная и, в частности, трехзначная логика. Так, для некоторого элементаx результатом вычисления значений некоторого предиката P(x) может быть не только ИСТИНА или ЛОЖЬ, но и некоторое третье значение, например, NULL. Последнее интерпретируется как «неопределено» или «не известно». Такая логика в том или ином виде принята при поддержке современных баз данных. Например, столбец таблицы базы данных может содержать помимо наборов каких-то символов особое значение NULL, которое понимается как «еще не введенное», «пока неизвестное» и т. п. Однако замечу, что понимание трехзначной логики лучше усваивается при понимании классической двузначной логики.

Работа в Германии от AU Pair. AU Pair – это отличная возможность получше узнать Германию.