健全性定理
健全性定理(けんぜんせい、英: soundness theorem)
証明できたことは正しいという定理
$ \vdash A \implies \vDash A
読み方: 導出可能であるならば、妥当である
$ A_1,...A_n \vdash B \implies A_1, ..., A_n \vDash B
読み方$ A_1, ..., A_n から$ B が導出できることが成り立つならば、$ A_1, ..., A_n \vDash B が成り立つ
$ Γ \vdash \varphi \implies Γ \vDash \varphi
確認用
Q. 健全性定理
関連
参考
メモ
#11 健全性定理(1) (2022年度哲学演習I) - YouTube
https://www.youtube.com/watch?v=bOakzk0WmdM&list=PL54C_zUEsyCZ3yyPKdNMgJs7GDft4lzxg&index=11
調査用
Wikipedia.icon
Wikipedia.icon