循環否定

線形に順序付けられた真理値を持つ多値論理において、巡回否定は、真理値nを受け取り、nが最小値でない場合は値としてn  − 1を返す単項真理関数であり、そうでない場合は最大値を返します。

たとえば、真理値の集合を {0,1,2} とし、~ を否定を表し、p を真理値の範囲の変数とします。これらの選択では、p = 0 の場合は ~p = 2 となり、p = 1 の場合は ~p = 0 となります。

循環否定はもともと論理学者であり数学者でもあるエミール・ポストによって導入されました。

• マレス、エドウィン (2011)、「否定」、ホルステン、レオン、ペティグルー、リチャード (編)、『コンティニュアム 哲学的論理学入門』、コンティニュアム インターナショナル パブリッシング、pp. 180–215、ISBN 9781441154231特に188～189ページを参照。