离散数学之命题逻辑

命题

1. 命题：具有确切真值的陈述句

2. 复合命题：不能分解为更简单命题的命题
   原子命题（简单命题）：非复合命题

3. 联结词

   联结词	人话	真值表
   否定	（非）	相反
   合取	（与）	同时为1，则结果为1
   析取	（或）	同时为0，则结果为0
   蕴涵	（如果···就···）	(0,1)，则结果为0
   等价	（当且仅当）	两者不一样，则结果为0

命题公式

1. 命题变量（命题变元）：
   相当于方程中的未知数，通常为P，Q，R

2. 命题公式（合式公式）：
   相当于方程

3. 真值表：
   所有解释的集合（n个命题变元就有 2^n 个解释）

4. 命题公式的分类
   永真公式（重言式）：全真
   永假公式（矛盾式）：全假
   可满足公式：不是永假的

5. 基本等价关系（重点）

范式

1. 基本概念（非重点）
   （1）文字：命题变元或其否定
   （2）子句（析取式）：有限个文字的析取（或）
   （3）短语（合取式）：有限个文字的合取（与）
   （4）析取范式：有限个短语的析取式
   （5）合取范式：有限个子句的合取式
   一个命题变元P符合上面5中情况（全都是）
2. 主析取范式
   每个短语都是极小项（所有命题变元恰好出现一次，如PVQVR）
3. 主合取范式
   每个子句都是极大项（所有命题变元恰好出现一次）

推理理论

1. 基本概念
   前提：已知条件
   结论：由前提得到的命题公式

2. 推理方法（做多几道题就会啦）
   （1）真值表技术
   （2）推理定律（重点）
   （3）演绎法（重点）
   规则P：前提引用
   规则T：利用基本等价关系或推理定律得出结论
   规则CP：由前提和结论得出结论（一般是得到蕴含式->）
   （4）反证法

附上基本等价关系图和推理定律图

推理定律图