14/02/10 22:53:11.48
>> 488
たぶんここで使っている「完全（決定可能）」とは、
判定アルゴリズムがある、という意味の決定可能ではなく、
どんな閉論理式もそれ自身がその否定が証明できる、という意味の決定可能だと推測します。
しかしいずれも意味としても、
一階述語論理で恒真な（証明可能な）閉論理式全体は「決定可能」ではありません。
14/02/10 22:53:11.48
>> 488
たぶんここで使っている「完全（決定可能）」とは、
判定アルゴリズムがある、という意味の決定可能ではなく、
どんな閉論理式もそれ自身がその否定が証明できる、という意味の決定可能だと推測します。
しかしいずれも意味としても、
一階述語論理で恒真な（証明可能な）閉論理式全体は「決定可能」ではありません。