線形順序付けされた真理値を持つ多値論理において、循環否定は、真理値nを受け取り、 nが最小値でない場合は値としてn − 1を返す単項真理関数であり、そうでない場合は最大値を返します。
例えば、真理値の集合を{0,1,2}とし、~を否定、pを真理値の範囲にわたる変数とします。これらの選択において、p = 0の場合には~p = 2、p = 1の場合には~p = 0となります。
循環否定はもともと論理学者であり数学者でもあるエミール・ポストによって導入されました。
参考文献
- マレス、エドウィン（2011）「否定」、ホルステン、レオン、ペティグルー、リチャード（編）『コンティニュアム・コンパニオン・トゥ・フィロソフィカル・ロジック』コンティニュアム・インターナショナル・パブリッシング、pp. 180– 215、ISBN 9781441154231特に188～189ページを参照。
