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