健全性定理
健全性
定理
$ \Gamma\vdash\varphi\Rightarrow\Gamma\vDash\varphi
健全性定理 ref
『情報理論のための数理論理学』.icon
p.40
論理式
$ \varphi
が
証明可能
ならば、
トートロジー
である
証明
公理
は全てトートロジーなので、そこから推論できるなら
$ \varphi
もトートロジー。