第一章节数理逻辑幻灯片.pptVIP

* 例 已知公式(Ｐ∧Ｑ)∨(?Ｐ∧Ｒ)∨(?Ｑ∧?Ｒ)，求主析取范式和主合取范式。 解 (Ｐ∧Ｑ)∨(?Ｐ∧Ｒ)∨(?Ｑ∧ ?Ｒ) ?(Ｐ∧Ｑ∧(Ｒ∨?Ｒ))∨(?Ｐ∧(Ｑ∨?Ｑ)∧Ｒ) ∨((Ｐ∨?Ｐ)∧?Ｑ∧?Ｒ) ?(Ｐ∧Ｑ∧Ｒ)∨(Ｐ∧Ｑ∧?Ｒ)∨(?Ｐ∧Ｑ∧Ｒ) ∨(?Ｐ∧?Ｑ∧Ｒ)∨(Ｐ∧?Ｑ∧?Ｒ)∨(?Ｐ∧?Ｑ∧?Ｒ) ? (?Ｐ∧?Ｑ∧?Ｒ)∨(?Ｐ∧?Ｑ∧Ｒ)∨(?Ｐ∧Ｑ∧Ｒ) ∨(Ｐ∧?Ｑ∧?Ｒ)∨(Ｐ∧Ｑ∧?Ｒ)∨(Ｐ∧Ｑ∧Ｒ) ? m0∨m1∨m3∨m4∨m6∨m7 ───主析取范式 * 例（续） ?(Ｐ∨?Ｑ∨Ｒ)∧(?Ｐ∨Ｑ∨?Ｒ) ? M2∧M5 ─主合取范式 * 8、 范式的应用 判断公式类型 判断公式是否等价 判断公式为真或为假的分量指派 1-8 推理理论 一、定义： 设A，C是两个命题公式。 当且仅当A?C为重言式，即A?C ，称C是A的有效结论，或C可由A逻辑推出。 推广：设H1, …, Hn，C是命题公式。当且仅当公式H1? …?Hn?C，称C是一组前提H1, …,Hn的有效结论。 二、判断有效结论的常用方法 真值表法 直接证法 间接证法 利用定义 1-8 推理理论 1.真值表法： 设P1，P2，……，Pn是出现于前提H1，H2，……，Hm和结论C中的全部命题变元，假定对P1，P2，……，Pn作了全部的真值指派，这样就能对应地确定H1，H2，……，Hm和C的所有真值. 1-8 推理理论 a)找出前提H1, …, Hn均为1的行，若对应的结论C也为1，则H1? …?Hn?C; b)找出结论C为0的行，若前提H1, …, Hn中至少有一个为0，则H1? …?Hn?C 1-8推理理论 例（P?Q）? ?（P?Q）??P P Q P?Q ?（P?Q） ?P 0 0 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 练习： （A?B）??（B?C）??A 1-8 推理理论 对于真值表法，仅适用于命题变元少的情况。 2 直接证法（演绎法） 直接证法是从前提(假设)出发，依据公认的推理规则和推理定律，推导出一个结论来。 在数理逻辑中，主要的推理规则有： ① P规则（前提引入规则）：前提在推导的过程中任何时候都可以使用； ②Ｔ规则（结论引用规则）：在推导过程中，前面得出的结论可以在之后的任何地方使用； 例： H：C?D,（C?D）??H,?H?（A??B）,（A??B）?R?S C：R?S 例：H：（P?Q）?（P?R）?（Q?S） C：S?R 证法1：（1）P?Q P (2)?P?Q T(1) E (3)Q?S P (4)?P?S T(2),(3) I (5)?S?P T(4) E (6)P?R P (7)?S?R T(5),(6) I (8)S?R T(7) E 1-8 推理理论 例1：H：（P?Q）?（P?R）?（Q?S） C：S?R 证法2：(1) P?R P (2) P?Q?R?Q T(1) I (3) Q?S P (4) R?Q?R?S T(3) I (5) P?Q?R?S T(2),(4) I (6) P?Q P (7) R?S T(5),(6) I 例：H：P?（Q?S）， ?R?P，Q C：R?S 练习： （A?B）??（B?C）??A 3.间接证法 (1)反证法(归谬法） (2)CP规则 3 间接证法 方法一（反证法）： 设要证H1,…,Hm?C，只要证?C?（H1?…,?Hm）为永假式即可。 因为要证H1,…,Hm?C， 只要证?（H1?…,?Hm）? C为永真式， 即证?C?（H1?…,?Hm)为永假式即可(不相容)。 1-8 推理理论 例1：（A?B）??（B?C）??A 证明：（1）A?B P (2)A P(附加前提) (3)?（B?C） P (4)?B??C