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

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

数学基礎論・数理論理学　その19 - 暇つぶし2ch309:１３２人目の素数さん
24/05/16 07:30:47.04 iQRAo/4g.net
>>306
たとえば
P∨Qを￢P→Qとするか￢Q→Pとするか
これらが同等であるべきことから
Q=￢Pのとき
￢P→￢Pと￢￢P→Pが同等
つまりDNEがトートロジーになるので
必然的に古典論理になるでしょ

次ページ

続きを表示

1を表示