数学基礎論・数理論理学 その19

[0296 １３２人目の素数さん 2024/05/15(水) 18:32:02.10 ID:jnpUU+rE]

　矛盾Q∧¬Qから任意の命題Pが証明可能
⇔矛盾Q∧¬Qかつ任意の命題の否定¬Pが矛盾
⇔任意の命題の否定¬Pから排中律（矛盾の否定）¬Q∨Qが証明可能