2017-05-06から1日間の記事一覧
4章 命題計算の完全性 拡張命題論理と称するモノから完全性に迫る。すなわち命題式の論理式に対して、命題変数の閉包をとる操作を行うと、(自然数論では変数記号に関する閉包をとる限りこのような事情は発生しない)、任意の式は真理値1か0のみをとるように…
4章 命題計算の完全性 拡張命題論理と称するモノから完全性に迫る。すなわち命題式の論理式に対して、命題変数の閉包をとる操作を行うと、(自然数論では変数記号に関する閉包をとる限りこのような事情は発生しない)、任意の式は真理値1か0のみをとるように…