第一编集合论资料讲解.pptVIP

? Peking University A∨1 ? 1, A∧0 ? 0 A∨0 ? A, A∧1 ? A A∨?A ? 1 A∧?A ? 0 (对偶原理: ∨-∧互换, 0-1互换) ??A ? A A→B ? ?A∨B A?B ? (A→B)∧(B→A) A?B ? ?A??B A→B ? ?B→?A (A→B)∧(A→?B) ? ?A 设Ｘ是合式公式Ａ中的一个部分，且Ｘ也是一个合式公式，则称Ｘ是Ａ的子公式。 例如，设Ａ： (P∨Q)→（Q∨(R∧?S)），则P∨Q、 R∧?S、 ?S、 Q∨(R∧?S)都是Ａ的子公式。 置换规则 定理（置换规则）： 设X是合式公式Ａ中的子公式，若Ｙ是一个合式公式，且 Ｘ?Ｙ，用Ｙ置换Ａ中的Ｘ，得到新的合式公式Ｂ，则Ａ?Ｂ。 证明：Ａ与Ｂ除替换部分外均相同，又由于替换部分Ｘ?Ｙ，即是说对任一指派，Ｘ与Ｙ真值相同，那么Ａ与Ｂ对任一真值指派也应有相同的真值。故Ａ?Ｂ。 等值演算： 由已知的等值式，应用置换规则推演出新的等值式的过程。 等值演算 P →(Q →R) ? P →(? Q ∨ R) ? ? P ∨(? Q ∨ R) ?( ? P ∨? Q) ∨ R ? ?( P ∧ Q) ∨ R ? ( P ∧ Q) → R 给定命题公式Ａ(P1, P2，…, Pn)，如果用某个命题公式Bi取代Ａ中的某个变元Pi，并且用Bi取代Ａ中出现的所有Pi，这样得到的命题公式Ｂ称为命题公式Ａ的代入实例。 例如，设Ａ：P→(Q∧P)，用(R?S)取代Ａ中的命题变元Ｐ得Ｂ：(R?S)→(Q∧(R?S))，Ｂ是Ａ的代入实例。 代入规则 定理（代入规则）： 一个重言式的代入实例仍然是一个重言式。 证明： 由于重言式的真值与真值指派无关，故对同一命题变元都用某个命题公式代替，该重言式的真值仍为Ｔ。 例 证明((P∨S)∧R)∨?((P∨S)∧R)为重言式 证：因P ∨? P ?T，根据代入规则 ((P∨S)∧R)∨?((P∨S)∧R)?T 命题逻辑推理 1. 推理的形式结构 前提: A1, A2, …, Ak 结论: B 推理的形式结构: (A1∧A2∧…∧Ak)→B 推理定律 (1) 附加律 A?(A∨B) 前提: A 结论: A∨B A→(A∨B)是永真式 (2) 化简律 (A∧B)?A, (A∧B)?B 前提: A∧B 结论: A (A∧B)→A是永真式 (3) 假言推理 (A→B)∧A?B 前提: A→B A 结论: B ((A→B)∧A)→B是永真式 (4) 拒取式 (A→B)∧?B? ? A 前提: A→B ? B 结论: ? A ((A→B)∧ ? B)→(? A)是永真式 (5) 析取三段论 (A∨B)∧?A?B (A∨B)∧?B?A 前提: A∨B ?A 结论: B ((A∨B)∧?A)→B是永真式 (6) 假言三段论 (A→B)∧(B→C)?(A→C) 前提: A→B B→C 结论: A→C ((A→B)∧(B→C))→(A→C)是永真式 (7) 等价三段论 (A?B)∧(B?C)?(A?C) 前提: A?B B?C 结论: A?C ((A?B)∧(B?C))→(A?C)是永真式 (8) 构造性两难 (A→B)∧(C→D)∧(A∨C)?(B∨D) 前提: A→B C→D A∨C 结论: B∨D 判断推理正确的方法 例 前提: p→(q→r), p, q 结论: r 方法一: 推理的形式结构 方法二: 从前提推演结论 方法一(形式结构是永真式) (p→(q→r))∧p∧q→r ? (?p∨(?q∨r))∧p∧q→r （蕴涵等值式） ? ((?p∧p)∨((?q∨r)∧p))∧q→r （分配律） ? ((?q∨r)∧q)∧p→r （零律，同一律，交换律） ? ((?q∧q)∨(r∧q))∧p→r （分配律） ? (r∧q∧p)→r ? ?(r∧q∧p)∨r （蕴涵等值式） ? ?r∨?q∨?p∨r ? (?r∨r)∨?q∨?p ? 1 方法二(从前提推演结论) (p→(q→r))∧p∧q ? ((p→(q→r))∧p)∧q ? (q→r)∧q （假言推理） ? r 命题逻辑 命题和命题联结词 命题公式和真值表 命题等值式 命题推理定律 命 题 等值演算 推理 谓词逻辑 在命题逻辑中，研究命题和命题的演算。命题演算的基本单位是原子命题。在命题