離散結構-02

離散結構 命題中的符號 常遠 變元 聯接詞 輔助符號如（） 合式公式 定義：合法的命題公式 公式的層次 公式的解釋 命題公式代表一個命題，但只有當公式中的每一個變元都用一個確定的命題帶入時，命題公式纔有確定值，成爲命題。 成真賦值 成假賦值 公式相等證明： 列真值表法 等值演算 公式的類型 永真式 永假式 可滿足式 例題： P：通過六級 Q：是英語專業學生（~代表非） R：選修這門課 P^（~Q）

>>阅读原文<<