离散数学 第三篇 数理逻辑01 命题逻辑

命题连接词 注意： 合取与析取不要搞混了 善意推定： 1→1 1 → 1 ,然而，如果前件为0 0→1(or)0→0 0 → 1 ( o r ) 0 → 0 均为真 优先级：在上图中，优先级顺序为 命题公式 永真公式 永假公式 可满足公式 **即： ¬ ¬ 永假 ↔ ↔ 可满足** 等价关系 = = 与等价连接词 ↔ ↔ 的区别 命题公式的基本等价关系 联结词的完备集 范式 文字： 命题变元或其否

>>阅读原文<<