混乱解決

現在２００６年２月２１日１９時５７分です。

昼休みに書いた混乱が解決しました。

一階の述語論理では閉論理式Ａについて、Ａか¬Ａのいずれかが証明出来る。と書いたのが誤りだったのです。

閉論理式Ａとして要素命題（０変数の述語記号）をとると、Ａも¬Ａも証明できません。

これですっきりしました。

現在２００６年２月２１日２０時０６分です。おしまい。