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

第1页，共18页，星期日，2025年，2月5日推理的形式结构—问题的引入推理:从前提出发推出结论的思维过程前提是指已知的命题公式，结论是推出的命题公式例如果天气凉快，小王就不去游泳.天气凉快.所以小王没有去游泳.p:天气凉快，q:小王去游泳前提：(p??q)ùp结论：?q问题：如何判断推理的是否正确？第2页，共18页，星期日，2025年，2月5日推理的形式结构定义“A1,A2,…,Ak推B”的推理正确当且仅当A1ùA2ù…ùAk?B为重言式.若对于每组赋值，A1ùA2ù…ùAk为假，或当A1ùA2ù…ùAk为真时,B也为真,则称由A1,A2,…,Ak推B的推理正确,否则推理不正确（错误）.推理的形式结构:A1ùA2ù…ùAk?B或前提：A1,A2,…,Ak结论：B若推理正确，则记作：A1ùA2ù…ùAkTB.第3页，共18页，星期日，2025年，2月5日判断推理是否正确的方法真值表法等值演算法主析取范式法构造证明法说明：当命题变项比较少时，用前3个方法比较方便,此时采用形式结构“A1ùA2ù…ùAk?B”.当命题变项比较多时，用构造证明法，采用“前提:A1,A2,…,Ak,结论:B”.第4页，共18页，星期日，2025年，2月5日实例例判断下面推理是否正确(1)若今天是1号，则明天是5号.今天是1号.所以明天是5号.解设p：今天是1号，q：明天是5号.证明的形式结构为:(p?q)ùp?q证明（用等值演算法）(p?q)ùp?q??((?púq)ùp)úq??pú?qúq?1得证推理正确第5页，共18页，星期日，2025年，2月5日实例(续)(2)若今天是1号，则明天是5号.明天是5号.所以今天是1号.解设p：今天是1号，q：明天是5号.证明的形式结构为:(p?q)ùq?p证明（用主析取范式法）(p?q)ùq?p?(?púq)ùq?p??((?púq)ùq)úp??qúp?(?pù?q)ú(pù?q)ú(pù?q)ú(pùq)?m0úm2úm3结果不含m1,故01是成假赋值，所以推理不正确.第6页，共18页，星期日，2025年，2月5日推理定律——重言蕴涵式重要的推理定律AT(AúB)附加律(AùB)TA化简律(A?B)ùATB假言推理(A?B)ù?BT?A拒取式(AúB)ù?BTA析取三段论(A?B)ù(B?C)T(A?C)假言三段论(A?B)ù(B?C)T(A?C)等价三段论(A?B)ù(C?D)ù(AúC)T(BúD)构造性二难第7页，共18页，星期日，2025年，2月5日推理定律(续)(A?B)ù(?A?B)ù(Aú?A)TB构造性二难（特殊形式）(A?B)ù(C?D)ù(?Bú?D)T(?Aú?C)破坏性二难说明：若某推理符合某条推理定律，则它自然是正确的A?B产生两条推理定律:ATB,BTA第8页，共18页，星期日，2025年，2月5日推理规则(1)前提引入规则(2)结论引入规则(3)置换规则(4)假言推理规则A?B