离散数学 2. 范式、推理

范式

1. 所谓的命题变元与命题常元其实指命题中真值的确定性，常元等价于编程中的常量，是确定的。而变元是不确定的。

2. 命题变元或命题变元的否定称为文字

3. 有限个文字合取称为简单合取式（或短语）

4. 有限个文字析取称为简单析取式（或子句）

5. 有限个简单合取式的析取式称为析取范式

6. 有限个简单析取式（子句）的合取式称为合取范式。

7. 

8. 单个的文字是子句、短语、析取范式、合取范式。

9. 析取范式、合取范式仅含联结词集{﹁ ∨ ∧ }（利用蕴含式，等价式），且否定联结词仅出现在命题变元前，而不是括号前（利用双重否定律，德摩根律）。

10. 

11. 在含有n个命题变元p1,p2,p3,p4…pn的短语或子句中，若每个命题变元与其否定不同时存在，但两者之一恰好出现一次且仅一次，并且出现次序与p1,p2,p3… pn一致，则称此短语或子句为关于p1,p2 …pn的一个极小项（ ∧ ）或极大项（∨ ）。

    • 性质
    • 没有两个不同的极小项或极大项是等价的。
    • 每个极小项只有一组成真赋值，因此可用于给极小项编码。编码规律为：命题变元与1对应，命题变元的否定与0对应。
    • 每个极大项只有一组成假赋值，命题变元与0对应。
      例：﹁ p ∧q∧ r ：m₀₁₁（m₃）
      ﹁ p ∨q∨ r ：m₁₀₀（m₄）

12. 

13. 在析取范式中，若每个短语都是极小项，且按照编码从小到大的顺序排列，则称该范式为主析取范式。

14. 在合取范式中，若每个短语都是极大项，且按照编码从小到大的顺序排列，则称该范式为主合取范式。

15. 任何一个公式都有与之等价的主析取范式和主合取范式（通过之前的公式）。

    • 主析取范式或主合取范式要求每个子句或短语都含有各个命题，缺少命题p可以添加∨（﹁ p ∧p）或∧（﹁ p ∨p）然后分配。
    • 真值表技术：
      列出真值表 ，为得到主析取范式（主合取范式）， 选出公式的真值结果为真（假）的所有的行， 在这样的每一行中，找到其每一个解释所对应的极小项（极大项）进行析取（合取）。

16. 两大范式可以相互转换：主析取范式m₀ ∨ m₁∨m₃∨m₄∨m₅∨m₆∨m₈ →
    M₂ ∧ M₇

推理

1. 若两个公式具有相同的主析取范式或主合取范式，则两个公式等价。
2. 推理定律：（符号推理相当于“所以”）
   - g ∧ h => g ; g ∧ h => h
   - g => g ∧ h
   - g,h => g ∧ h
   - g ∨ h, ﹁ g => h ; g ∨ h, ﹁ h => g
   - g → h , g => h
   - g → h , ﹁ h => ﹁ g
   - g → h , h → i => g → i
   - g ∨ h , g → i ,h → i => i
3. 演绎-直接证明法（引入前提集合中的任意一个前提）
   
4. 演绎-规则cp证明法（从给定的前提集合中和公式p推出s , 则能推导出p→s）
5. 演绎-间接证明法（反证法，归谬法）