0446時計 ◆1z400PXZnw 垢版 | 大砲2023/01/07(土) 17:54:39.570 >>445 形式的な話をすると、偽→偽=真は真の定義だとも言えると思う。1+1=2みたいな。 偽と→があれば、命題論理は表現できると思う。 ただ、飽くまでミニマリズム的な観点だから、それが真理だというのとは少し異なると思う。