离散数学笔记系列（一）

数理逻辑笔记 一、命题逻辑： 二、谓词逻辑： 三、证明方法： 一、命题逻辑： 命题的概念： 命题变元/原子命题： 命题公式（递归定义）： 逻辑运算符(优先级降序)：否定 ¬ \neg ¬, 合取 ∧ \wedge ∧, 析取 ∨ \vee ∨, 蕴含 → \rightarrow →（仅1->0为假），双蕴含 ↔ \leftrightarrow ↔（仅取值相同为真） 成真指派/成假指派： 永真式（重

>>阅读原文<<