0289132人目の素数さん垢版 | 大砲2024/05/15(水) 05:47:44.02ID:jnpUU+rE >>284 >トートロジーの否定から任意の命題が出るっての形では >推論規則や公理には採用できないって話してるつもりなんだけど 矛盾を導くのに、全く無関係な命題が入っていてもOKなら それが爆発律と同じことっていってるけど理解できてる? 論理に限ったことではないけど、考えないと見て感じるだけでは理解はできないよ