現在2006年2月21日19時57分です。 昼休みに書いた混乱が解決しました。 一階の述語論理では閉論理式Aについて、Aか¬Aのいずれかが証明出来る。と書いたのが誤りだったのです。 閉論理式Aとして要素命題(0変数の述語記号)をとると、Aも¬A…
現在2006年2月21日12時32分です。 昨晩は充足可能な論理式というもののことで、また混乱しました。 一階の述語論理では閉論理式Aについて、Aか¬Aが証明できます。 そうすると、¬Aが証明出来るということがAが矛盾した論理式であるということ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。