代入の法則(古典的命題論理)
#意味論
#古典的命題論理
#定理
定義
準備
要素命題記号
$ p
を含む
論理式
$ A
論理式
$ B
$ A
に現れる全ての
$ p
に
$ B
を代入して得られる論理式
$ C
$ \vDash A
ならば
$ \vDash C
証明
TODO
定義の補足
含意の法則
トートロジーのモーダス・ポネンスによって得られる論理式はトートロジーである(古典的命題論理)