モーダス・ポネンス
$ A
かつ，
$ A \to B
であるなら，
$ B
．
#推論規則