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

[0309 １３２人目の素数さん 2024/05/16(木) 07:30:47.04 ID:iQRAo/4g]

>>306
たとえば
P∨Qを¬P→Qとするか¬Q→Pとするか
これらが同等であるべきことから
Q=¬Pのとき
¬P→¬Pと¬¬P→Pが同等
つまりDNEがトートロジーになるので
必然的に古典論理になるでしょ