24/04/30 16:43:08.89 doVY1jXx.net
>>170
何が知りたいかによりますが
初心者には、タブロー法が書かれてる本がいいと思いますね
タブロー法が理解できれば、述語論理の完全性定理も
理解できるんじゃないでしょうか？
ちなみにゲーデルの不完全性定理は
狭義の論理学ではなく自然数論の定理です
24/04/30 16:43:08.89 doVY1jXx.net
>>170
何が知りたいかによりますが
初心者には、タブロー法が書かれてる本がいいと思いますね
タブロー法が理解できれば、述語論理の完全性定理も
理解できるんじゃないでしょうか？
ちなみにゲーデルの不完全性定理は
狭義の論理学ではなく自然数論の定理です