訂正:例えば、モーダスポネンスという妥当な推論は、論理式に直すと次のように表現できます。
((A⇒B)∧B)⇒B

→
例えば、モーダスポネンスという妥当な推論は、論理式に直すと次のように表現できます。
((A⇒B)∧A)⇒B