|| どう見ても正しい感じの論理
「論理式」についての「公理」です。
「証明」などを行う上で、押さえておく必要があります。
“論理公理 Logical Axioms” の続きを読む量化子 Quantifier
述語論理 Predicate Logic
|| 数学の言語の述語について
一言で言うと、こいつは数理論理学の「用語」です。
「記号」で表せる「形式体系」共のことを、まとめてこう呼んでます。
範囲は結構広いです。
“述語論理 Predicate Logic” の続きを読む
まったく縁遠くない数学の使われ方