離散數學基礎

一、數理邏輯 1.1 命題邏輯 命題：能判斷其真假的陳述句。 命題的真值是唯一的。 命題聯結詞（爲了符號化 複合命題）：否定、合取、析取、蘊含、等價 運算符的優先級：否定、合取、析取、蘊含、等價（優先級依次降低） 例題將命題符號化： 公式的類型 重言式：公式真值恆爲1（永真式） 矛盾式：公式的真值恆爲0（永假式） 可滿足式：不是矛盾式（重言式也是可滿足式） 判斷公式的類型：用真值表法 1.2 謂詞

>>阅读原文<<