何事も練習ですので、ここで述語論理の公理系を用いる練習を二つほどやっておきましょう。 練習 1. 公理 2 を以下の形に書き換えます。 公理 3 とモーダス・ポーネンスから … (1) です。また、再び公理 2 を書き換えて … (2) です。公理 4 を書き換えて また…