投稿日: 2019年3月31日2019年7月12日論理公理 Logical Axioms || どう見ても正しい感じの論理 「論理式」についての「公理」です。 「証明」などを行う上で、押さえておく必要があります。 “論理公理 Logical Axioms” の続きを読む
投稿日: 2019年3月28日2019年7月10日量化子 Quantifier || 量を扱うための形式的な表現 概要は『述語論理』をどうぞ。 ざっと言うと「量を指定する表現」のことですね。 “量化子 Quantifier” の続きを読む
投稿日: 2019年3月24日2022年6月28日述語論理 Predicate Logic || 数学の言語の述語について 一言で言うと、こいつは数学の「言語」です。 「命題論理」に『述語を加えた』ものになります。 “述語論理 Predicate Logic” の続きを読む