2006-02-21 まだ混乱している 今日の科学 現在2006年2月21日12時32分です。 昨晩は充足可能な論理式というもののことで、また混乱しました。 一階の述語論理では閉論理式Aについて、Aか¬Aが証明できます。 そうすると、¬Aが証明出来るということがAが矛盾した論理式であるということなら、閉論理式には充足可能な論理式はないのだろうか? という疑問でした。 これはまだ解決していません。 現在2006年2月21日12時47分です。おしまい。