離散數學筆記系列（一）

數理邏輯筆記 一、命題邏輯： 二、謂詞邏輯： 三、證明方法： 一、命題邏輯： 命題的概念： 命題變元/原子命題： 命題公式（遞歸定義）： 邏輯運算符(優先級降序)：否定 ¬ \neg ¬, 合取 ∧ \wedge ∧, 析取 ∨ \vee ∨, 蘊含 → \rightarrow →（僅1->0爲假），雙蘊含 ↔ \leftrightarrow ↔（僅取值相同爲真） 成真指派/成假指派： 永真式（重

>>阅读原文<<