健全性定理
#Fleeting_Notes
健全性定理(けんぜんせい、英: soundness theorem)
証明できたことは正しい
健全性
$ \vdash A \implies \vDash A
$ Γ \vdash \varphi \implies Γ \vDash \varphi
ref:
『Logic and Structure』Fifth Edition
P38
完全性定理
確認用
Q. 健全性定理
関連
不完全性定理
モデル理論
証明論
参考
『形式手法教科書』
P31
『2007年度 情報数学 証明論入門』
調査用
Google.icon
健全性定理(日)
Google.icon
Soundness theorem(英)
Wikipedia.icon
健全性定理 - Wikipedia(日)
健全性定理(検索) - Wikipedia(日)
Wikipedia.icon
Soundness theorem - Wikipedia(英)
Soundness theorem(検索) - Wikipedia(英)