predicate

命題論理学の分かりやすさと述語論理学の分かりにくさ 趣味で論理学を勉強しているものにとって命題論理学はありがたい。なにしろ分かりやすいのである。真理表なら少し習っただけで中学生でも書けるようになるだろう。LPの演繹定理の証明も簡単な数学的帰納法の適用であると理解できる。LPの定理とトートロジーが同値である事を証明した完全性定理もちょっと苦労するが理解できる。完全性定理が理解できると、論理は命題の具体的な内容に依存しておらず、純粋な推論の構造であるということが実感できて、ソシュールの言う記号の恣意性や、ヒルベルトの「点が椅子で、線が机でも構わない」という言葉の意味の面白さが分かってちょっと感動したりする。 ところが述語論理学の章に入った途端に途方にくれてしまう。まず真理表が書けない。LPの定理を直感的に理解するのに真理表のイメージをかなり利用してきたのにその肝腎の真理表が見当たらないのである

[tomitake_flash]

述語論理を命題論理で理解する