投稿日: 2019年3月31日2022年10月21日論理公理 Logical Axioms || どう見ても正しい論理式全部 「論理式」の中で「公理」と言えるものの集まり。 “論理公理 Logical Axioms” の続きを読む
投稿日: 2019年3月28日2023年7月13日量化子 Quantifier || 量を扱うための形式的な表現 要は「量を表す時の表現」の話です。 概要は『述語論理』の記事に書いてます。 “量化子 Quantifier” の続きを読む
投稿日: 2019年3月24日2022年7月20日述語論理 Predicate Logic || 述語と数学 一言で言うなら、こいつは数学の「言語」ですね。 「命題論理」に『述語を加えた』ものがこれになります。 “述語論理 Predicate Logic” の続きを読む
