На рис. 8.1 даны примеры сжимающего и разжимающего в точке
отрицания. Элементы представлены вершинами соответствующего графа и упорядочены снизу вверх, в частности, . Элементы y порождаются элементами так, что
для рис. 8.1(А) и для рис. 8.1(Б).
Рис. 8.1.
Рассмотрим простейшие примеры отрицаний. Во всех примерах предполагается, что содержит элементы, отличные от 0 и 1.
Пример.
"Все, что не истина и не ложь, является неопределенностью".
Рис. 8.2.
где — некоторый элемент из такой, что . Это отрицание является сжимающим, ни обычным, ни слабым, с фиксированной точкой.