人気の記事一覧

述語論理でケーキのレシピを書いてみる

述語論理で書くということ(3)

∀と∃と反証法、1引数の場合 (1)

テーマ 「矛盾からは任意の論理式が証明できる」のか?

resolution(命題論理)

代入に迷う

unificationを書いてみる(1)

proverを書いてみたい

∀と∃と反証法、1引数の場合 (2)

Unificationアルゴリズムにも迷う

Relational DataBaseと述語論理

述語論理で書くということ(2)

述語論理で書くということ(1)

conjectureの否定について

命題論理のResolutionと証明について

resolution(述語論理)

論理に迷う