【Mark】离散数学仍需记点

第一章 命题逻辑

• 能判断真假，陈述句 ---- 命题
• 命题常项、变项（真值是否确定）
• 联结词不包括量词
• 排斥或（不可同时为1）不能用析取表示
• 前后件不一定相关
• 在命题逻辑中，合式公式 = 公式 = 命题公式
• n个命题变项，有2ⁿ组赋值，有2的2ⁿ次方个真值函数
  （2ⁿ组赋值，每组真值或0或1，所有组真值都确定下来才是真值表，所以共2的2ⁿ次方个真值表）
• 一个真值表对应一个真值函数，真值表：A的取值表
• 赋值 != 解释
• 简单析取式：p，非p，p析取q…
• 简合：p，非p，p合取q…
• 析取范式，合范（可互相转换，且不唯一）
• 若析范中的简合全是极小项，则为主析取范式
• 极小项角码即其成真赋值
• 公式的主析取范式唯一，所以若主析范同，则等值
• 前提是公式，结论是公式，推理是思维过程
• 推理正确，得出的是逻辑结论，不一定正确
• 判断推理是否正确，即判断蕴涵式是否重言：
• 1.真值表法 2.等值演算 3.主析取范式
• 4.构造证明法：①附加前提引入②归谬
• 只有 + 后件，才 + 前件
• 之前忽略了一个很重要的联结词全功能集S