2011-09-02から1日間の記事一覧

一階述語論理

流派によって使う記号に違いがあるようですが、アンド、オア、ならば、同値、オール、存在、ノット、などと呼ばれる7つの論理記号をつかって、命題を表し、証明してく方法を数理論理学と呼ぶようです。 ∧、∨、⇒、⇔、∀ 、∃、 ¬ 高校数学でも、1年生の数学Aで…