|| どう見ても正しい感じの論理
「論理式」についての「公理」です。
「証明」などを行う上で、押さえておく必要があります。
“論理公理 Logical Axioms” の続きを読む命題記号 Symbol
命題論理 Propositional Logic
|| 思えば命題ってなんだっけ？
数理論理学の基礎だということは、先に述べた通りです。
ではなぜ基礎なのかというと、
要は主題として「命題を扱う」からになります。
“命題論理 Propositional Logic” の続きを読む
まったく縁遠くない数学の使われ方