第４章 機械もすなる論理学

ここでは、演算アルゴリズムたるタブローを学んだ。
シンタックスに関するアルゴリズムであるタブローが、セマンティクスに関わることの判定に使えることがわかった。

さて、これで命題論理は一通りおわった。
しかし、この本には一階述語論理もある。せっかくなので、この本の流れで一階述語の基礎を理解した上で、戻ろうと思う。