莫少揆 (Moh Shaw-Kwei) のパラドックス
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/29 06:30 UTC 版)
「3値論理」の記事における「莫少揆 (Moh Shaw-Kwei) のパラドックス」の解説
ウカシェヴィチの3値論理はラッセルのパラドックスにおける解法を示したが、以下に示すような新たなパラドックスを導出してしまうことでも知られている（莫少揆のパラドックス）。具体的には以下のような集合があったとする、 X = {x | x ∈ x → ¬ (x ∈ x)}. このとき X ∈ X を考えると、この値は T でも F でも I でも矛盾が発生する。
※この「莫少揆 (Moh Shaw-Kwei) のパラドックス」の解説は、「3値論理」の解説の一部です。
「莫少揆 (Moh Shaw-Kwei) のパラドックス」を含む「3値論理」の記事については、「3値論理」の概要を参照ください。
ウィキペディア小見出し辞書の「莫少揆 のパラドックス」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 莫少揆 のパラドックスのページへのリンク
