論理体系の解剖-1.4- 推論法則と論理式(2)

　古典論理体系では複数の前提には可換性が成り立ちます。つまり前提を入れ替えても正しい推論になります。また、論理体系の公理や定理となる論理式は、推論法則そのものの表記にも成り得ます。つまり、論理体系の公理や定理は、その体系で成立する推論法則自体をモデルとするものとも言えます。 . . . 本文を読む