离散数学及其应用 第三章：命题逻辑

命题逻辑 命题 原子命题 复合命题 命题联结词 联结词的难点 需要注意以下几点： 命题公式 命题公式的分类 基本等价关系 联结词的完备集 公式的标准型---范式 析取范式和合取范式 极大项和极小项 极大项与极小项的编码 写主析取范式 命题 具有确切真值的陈述句称为命题 原子命题 不能再分解为更简单命题的命题 复合命题 可以分解为更简单命题的命题 命题联结词 联结词 记号 否定 ¬ \neg ¬ 合

>>阅读原文<<