離散數學 第三篇 數理邏輯01 命題邏輯

命題連接詞 注意： 合取與析取不要搞混了 善意推定： 1→1 1 → 1 ,然而，如果前件爲0 0→1(or)0→0 0 → 1 ( o r ) 0 → 0 均爲真 優先級：在上圖中，優先級順序爲 命題公式 永真公式 永假公式 可滿足公式 **即： ¬ ¬ 永假 ↔ ↔ 可滿足** 等價關係 = = 與等價連接詞 ↔ ↔ 的區別 命題公式的基本等價關係 聯結詞的完備集 範式 文字： 命題變元或其否

>>阅读原文<<