Циклическое отрицание - Cyclic negation

В многозначная логика с линейно упорядоченный ценности истины, циклическое отрицание это унарная функция истинности, которая принимает значение истинности п и возвращается п - 1 как значение, если п не самое низкое значение; в противном случае возвращается максимальное значение.

Например, пусть набор значений истинности будет {0,1,2}, пусть ~ обозначает отрицание и пусть п быть переменной, превышающей значения истинности. Для этих вариантов, если p = 0, то ~ p = 2; а если p = 1, то ~ p = 0.

Циклическое отрицание было первоначально введено логиком и математиком. Эмиль Пост.

Рекомендации

• Марес, Эдвин (2011), «Отрицание» в Хорстене, Леон; Петтигрю, Ричард (ред.), Континуум, компаньон философской логики, Continuum International Publishing, стр. 180–215, ISBN  9781441154231. См. В частности стр. 188–189.