Циклическое отрицание
В многозначной логике с линейно упорядоченными значениями истинности циклическое отрицание представляет собой унарную функцию истинности, которая принимает значение истинности n и возвращает n - 1 в качестве значения, если n не является наименьшим значением; в противном случае возвращается наибольшее значение.
Например, пусть набор значений истинности равен {0,1,2}, пусть ~ обозначает отрицание и пусть p — переменная, варьирующаяся в пределах значений истинности. Для этих вариантов, если p = 0, то ~p = 2; и если р = 1, то ~р = 0.
Циклическое отрицание было первоначально введено логиком и математиком Эмилем Постом .
Ссылки [ править ]
- Марес, Эдвин (2011), «Отрицание», Хорстен, Леон; Петтигрю, Ричард (ред.), The Continuum Companion to Philosophical Logic , Continuum International Publishing, стр. 180–215, ISBN 9781441154231 . См., в частности, стр. 188–189 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |