命题逻辑及命题演算.ppt

例用等值演算法判断下列公式的类型(1)q??(p?q)解q??(p?q)?q??(?p?q)（蕴涵等值式）?q?(p??q)（德摩根律）?p?(q??q)（交换律，结合律）?p?0（矛盾律）?0（零律）由最后一步可知，该式为矛盾式.第30页，共52页，星期日，2025年，2月5日(2)(p?q)?(?q??p)解(p?q)?(?q??p)?(?p?q)?(q??p)（蕴涵等值式）?(?p?q)?(?p?q)（交换律）?1由最后一步可知，该式为重言式.第31页，共52页，星期日，2025年，2月5日(3)((p?q)?(p??q))?r)解((p?q)?(p??q))?r)?(p?(q??q))?r（分配律）?p?1?r（排中律）?p?r（同一律）这不是矛盾式，也不是重言式，而是非重言式的可满足式.如101是它的成真赋值,000是它的成假赋值.总结：A为矛盾式当且仅当A?0A为重言式当且仅当A?1说明：演算步骤不惟一,应尽量使演算短些第32页，共52页，星期日，2025年，2月5日定义文字：命题变项及其否定统称为文字。如：p,?q简单析取式：仅有有限个文字组成的析取式。如：p,?q,p∨q,p∨?q∨r简单合取式：仅有有限个文字组成的合取式。如：p,?q,p∧q,p∧?q∧r二、析取范式与合取范式第33页，共52页，星期日，2025年，2月5日命题公式是千变万化的，这给研究命题演算带来困难，这里我们研究如何由一个命题公式化归为一个标准形式的问题，这样命题演算的研究问题就归结为对标准形式的研究问题，这种标准形式就叫范式。析取范式它是这样一种标准形式，在此式内不出现联结词?及?，否定符号只出现在命题变元前。它是一个析取式，式中的每个析取项是个合取式，每个合取式中只包含命题变元或命题变元的否定。例如?p∨(p∧q)∨(q∧r)此式即具有析取范式之形式注意:一个公式的析取范式并不唯一，如p∨(r∧?q),可以写成(p∧p)∨(r∧?q)第34页，共52页，星期日，2025年，2月5日合取范式它是这样一种标准形式，在此式内不出现联结词?及?，否定符号只出现在命题变元前。它是一个合取式，式中的每个合取项是个析取式，每个析取式中只包含命题变元或命题变元的否定。例如?p∧(p∨q)∧(q∨r)此式即具有合取范式之形式注意:一个公式的合取范式并不唯一，如p∧(r∨?q)可以写成(p∨p)∧(r∨?q)第35页，共52页，星期日，2025年，2月5日定义：析取范式：由有限个简单合取式构成的析取式。如：p∨?q,(p∧q)∨(p∧?q∧r)合取范式：由有限个简单析取式构成的合取式。如：p∧?q,（p∨q）∧（p∨?q∨r）范式：析取范式与合取范式统称为范式。第36页，共52页，星期日，2025年，2月5日设Ai(i=1,2,3,…n)为简单合取式，则A=A1∨A2∨……∨An就是析取范式，而B=A1∧A2∧……∧An就是合取范式。析取范式和合取范式有下列性质：（1）一个析取范式是矛盾式?它的每个简单合取式都是矛盾式。（2）一个合取范式是重言式?它的每个简单析取式都是重言式。第37页，共52页，星期日，2025年，2月5日第1页，共52页，星期日，2025年，2月5日概述和计算机科学联系和计算机科学联系紧密是计算机科学的支撑学科之一，也是信息科学的数学基础。在计算机理论研究及软硬件开发的各个领域都有广泛的应用。