>>445
形式的な話をすると、偽→偽=真は真の定義だとも言えると思う。1+1=2みたいな。
偽と→があれば、命題論理は表現できると思う。
ただ、飽くまでミニマリズム的な観点だから、それが真理だというのとは少し異なると思う。