含意の法則
#意味論
#古典的命題論理
#定理
定義
$ \vDash A
かつ
$ \vDash A \to B
ならば
$ \vDash B
証明
TODO
定義の意味,補足
モーダス・ポネンス
トートロジーのモーダス・ポネンスによって得られる論理式はトートロジーである(古典的命題論理)
代入の法則(古典的命題論理)