命题逻辑推理理论离散数学.pptVIP

命题逻辑推理理论离散数学 * 第一页，共二十六页，2022年，8月28日 2.4.1 推理的形式结构 一、什么是推理 定义2.19 设A1，A2 ， … ，Ak ，B都是命题公式，若对于每组赋值, A1?A2 ? … ?Ak为假, 或者当A1 ? A2 ? … ? Ak为真时，B也为真, 则称由前提A1，A2，…, Ak推B的推理有效或推理正确, 并称B是有效的结论。 * 第二页，共二十六页，2022年，8月28日 定理2.8 由前提A1, A2, …, Ak 推出B 的推理正确当且仅当 A1 ? A2 ? … ? Ak ? B为重言式. 如果把（A1 ? A2 ? … ? Ak ）? B为永真式记为： 上式的含义？？？ * 第三页，共二十六页，2022年，8月28日 二、推理的形式结构 定义2.20 称（A1 ? A2 ? … ? Ak ）? B为由前提 A1, A2, … , Ak推结论 B 的推理的形式结构。 推理的形式结构一般有以下三种： 形式(1) A1 ? A2 ? … ? Ak ? B 形式(2) 前提: A1, A2, … , Ak 结论: B 形式(3) A1， A2 ， … ， Ak ? B * 第四页，共二十六页，2022年，8月28日 真值表法 等值演算法 主析取范式法 构造证明法 判断推理是否正确的方法: 真值表的方法参见P.67例2.23。 * 第五页，共二十六页，2022年，8月28日 例1 判断下面推理是否正确: (1) 若今天是1号, 则明天是5号. 今天是1号. 所以, 明天是5号. 解 设 p: 今天是1号, q: 明天是5号 推理的形式结构为 证明 用等值演算法 所以，原推理正确。 * 第六页，共二十六页，2022年，8月28日 例1 (2) 若今天是1号, 则明天是5号. 明天是5号. 所以, 今天是1号。 解 设 p: 今天是1号, q: 明天是5号 推理的形式结构为 证明 用主析取范式法 这不是一个永真式，01是该公式成假的赋值，所以推理不正确。 * 第七页，共二十六页，2022年，8月28日 三、推理定律——重言蕴涵式 A T (AúB) 附加律 (AùB) T A 化简律 (A?B)ùA T B 假言推理 (A?B)ù?B T ?A 拒取式 (AúB)ù?B T A 析取三段论 (A?B)ù(B?C) T (A?C) 假言三段论 (A?B)ù(B?C) T (A?C) 等价三段论 (A?B)ù(C?D)ù(AúC) T (BúD) 构造性二难 (A?B)ù(?A?B) T B 构造性二难(特殊形式) (A?B)ù(C?D)ù( ?Bú?D) T (?Aú?C) 破坏性二难 * 第八页，共二十六页，2022年，8月28日 注意： （1）推理规则中出现的A、B、C 等是元语言符号； （2）直接引用而不需证明，只要说明所引用规则的名称； （3）24个永真公式每个都可以等效为2个推理规则。 * 第九页，共二十六页，2022年，8月28日 2.4.2 自然推理系统P 自然推理系统P由下述3部分组成: 1. 字母表 (1) 命题变项符号: p,q,r,…, pi,qi,ri,… (2) 联结词: ? , ? , ? , ? , ? (3) 括号与逗号: ( ), , 2. 合式公式 3. 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 * 第十页，共二十六页，2022年，8月28日 自然推理系统P(续) (7) 拒取式规则 A?B ?B \?A (8) 假言三段论规则 A?B