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