Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,11/7/2009,#,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,04 十月 2024,主析取范式和主合取范式,试化下列公式为主析取范式和主合取范式，并判断各公式类型,(,P,Q),(P,Q),(,P,Q),(P,Q),(,Q,P),(P,Q),(,P,Q),(Q,P),(P,Q),(,Q,P,),P),(,(Q,P),Q),(P,Q),(,P,Q),(,P,P),(,Q,Q),(,Q,P),(,P,Q),(P,Q),(P,Q),m,01,m,10,m,11,M,00,是偶然式,27 九月 2022主析取范式和主合取范式试化下列公式为主析,04 十月 2024,主析取范式和主合取范式,试化下列公式为主析取范式和主合取范式，并判断各公式类型,P,(,P,(Q,(,Q,R),P,(P,(Q,(Q,R),P,Q,R,M,000,m,001,m,010,m,011,m,100,m,101,m,110,m,111,是偶然式,27 九月 2022主析取范式和主合取范式试化下列公式为主析,04 十月 2024,主析取范式和主合取范式,试化下列公式为主析取范式和主合取范式，并判断各公式类型,(,P,(Q,R),(,P,(,Q,R),(,P,(Q,R),(,P,(Q,R),(,P,Q),(,P,R),(P,Q,R),(P,Q,R),(,P,Q,R),(,P,Q,R),(,P,Q,R),M,000,M,100,M,101,M,110,m,001,m,010,m,011,m,111,是偶然式,用同一律和互补律,(,A,A,(,B,B),)，补充简单析取式中未出现的命题变元，并用分配律展开,27 九月 2022主析取范式和主合取范式试化下列公式为主析,04 十月 2024,主析取范式和主合取范式,试化下列公式为主析取范式和主合取范式，并判断各公式类型,(,P,Q,),R),P,(,(,P,Q,),R),P,(,P,Q,),R),P,(P,Q,P),(,R,P),(P,Q),(P,R),(P,Q,R),(P,Q,R),(P,Q,R),M,000,M,001,M,011,m,010,m,100,m,101,m,110,m,111,是偶然式,27 九月 2022主析取范式和主合取范式试化下列公式为主析,04 十月 2024,主析取范式,真值表法：,例1.37：求(,P,Q),Q,的主析取范式,P Q,m,00,m,01,m,10,m,11,P,Q,P,Q,P,Q,P,Q,0 0,1,0,0,0,0 1,0,1,0,0,1 0,0,0,1,0,1 1,0,0,0,1,P Q,m,00,m,01,m,10,m,11,(,P,Q),Q,P,Q,P,Q,P,Q,P,Q,0 0,1,0,0,0,0,0 1,0,1,0,0,1,1 0,0,0,1,0,0,1 1,0,0,0,1,1,(,P,Q),Q,(,P,Q),(,P,Q),m,01,m,11,27 九月 2022主析取范式真值表法：P Qm00m01,04 十月 2024,主合取范式,真值表法：,例1.40：求(,P,Q),Q,的主合取范式,P Q,M,00,M,01,M,10,M,11,(,P,Q),Q,P,Q,P,Q,P,Q,P,Q,0 0,0,1,1,1,0,0 1,1,0,1,1,1,1 0,1,1,0,1,0,1 1,1,1,1,0,1,(,P,Q),Q,(,P,Q),(,P,Q),M,00,M,10,27 九月 2022主合取范式真值表法：P QM00M01,04 十月 2024,分别用真值表法和公式法求,(,P,(,Q,R,)(,P,(,Q,R,),的主析取范式与主合取范式（,10,分）,主析取范式和主合取范式,27 九月 2022分别用真值表法和公式法求(P(QR),04 十月 2024,命题逻辑,已知命题公式,A(P,Q,R),，并且知道只有当赋值为,001,、,110,和,111,时公式真值为假。
求命题公式,A(P,Q,R),的主析取范式为,_,27 九月 2022命题逻辑已知命题公式 A(P,Q,R,04 十月 2024,命题逻辑的推理理论,符号化下述论断，并证明其有效性如果今天是周一，则进行离散数学或,C,语言其中一门考试,如果,C,语言老师有会，则不考,C,语言,今天是周一,C,语言老师有会,所以：进行离散数学考试,设：,P：,今天是周一，,Q：,考,C,语言，,R：,考离散数学，,S：C,语言老师有会，,P,Q,R,S,Q,P,S,R,27 九月 2022命题逻辑的推理理论符号化下述论断，并证明,04 十月 2024,命题逻辑的推理理论,前提：,P,Q,R,，,S,Q,，,P,，,S,结论：,R,证明：,(1),P,P,(2),P,Q,R,P,(3),Q,R,T(1)(2)I,8,(4),(,Q,R),T(3),(5),Q,R,T(4)E,12,(6),Q,R,T(5)I,18,(7),S,P,(8),S,Q,P,(9),Q,T(7)(8)I,8,(10),R,T(6)(9)I,8,27 九月 2022命题逻辑的推理理论前提：P Q,04 十月 2024,命题逻辑的推理理论,符号化下面命题，并推证之,。
如果厂方拒绝增加工资，则罢工不会停止除非罢工超过一年，并且工厂厂长辞职,因此：若厂方拒绝增加工资，而罢工又刚刚开始，罢工是不会停止的,设：,P：,厂方拒绝增加工资，,Q：,罢工会停止，,R：,罢工超过一年，,S：,工厂厂长辞职，,(P,Q),(R,S),P,R,Q,27 九月 2022命题逻辑的推理理论符号化下面命题，并推证,04 十月 2024,习题23,前提：,(P,Q),(R,S),结论：,P,R,Q,证明：,(1),Q,P（,假设前提）,(2),(P,Q),(R,S),P,(3),(R,S),(P,Q),T(2)I,18,(4),(,R,S),(,P,Q),T(3)E,11,(5),Q,(,P,(,R,S),T(4)E,2,E,3,(6),Q,(,P,R),(,P,S),T(5)E,11,E,3,(7),(,P,R),(,P,S),T(1)(6)I,8,(8),P,R,T(7)I,1,(9),(,P,R),T(8)E,5,(10),Q,(,P,R),CP(1)(9),(11),P,R,Q,T(10)E,11,27 九月 2022习题23前提：(P Q),04 十月 2024,习题23,前提：,(P,Q),(R,S),结论：,P,R,Q,证明：,(1),P,R,P（,假设前提）,(2),(,P,R),(,P,S),T(1)I,3,(3),P,(,R,S),T(2)E,4,(4),P,(,R,S),T(3)E,5,(5),(,R,S),T(4)I,1,(6),(P,Q),(R,S),P,(7),(R,S),(P,Q),T(6)I,18,(8),P,Q,T(5)(7)I,18,(9),P,T(4)I,1,(10),Q,T(8)(9)I,8,(11),P,R,Q,CP(1)(10),27 九月 2022习题23前提：(P Q),04 十月 2024,只要今天天气不好，就一定有考生不能提前进入考场，当且仅当所有考生提前进入考场，考试才能准时进行。
所以，如果考试准时进行，那么天气就好命题逻辑的推理理论,27 九月 2022只要今天天气不好，就一定有考生不能提前进,04 十月 2024,谓词逻辑的推理理论,构造证明下列各式,(,x,)P(x),(,x)Q(x),(,x)(P(x),Q(x),(,x)(P(x),Q(x),(,x)(R(x),Q(x),(,x)(R(x),P(x),(,x)(P(x),Q(x),(,x)P(x),(,x)Q(x),27 九月 2022谓词逻辑的推理理论构造证明下列各式,04 十月 2024,习题20,证明：,(1),(,x)P(x),(,x)Q(x),P,(2),(,x)P(x),(,x)Q(x),T(1)E,11,(3),(,x),P(x),(,x)Q(x),T(2)Q,(4),(,x)(,P(x),Q(x),T(3)Q,(5),(,x)(P(x),Q(x),T(4)E,11,1),(,x,)P(x),(,x)Q(x),(,x)(P(x),Q(x),27 九月 2022习题20证明：(1)(x)P(x),04 十月 2024,习题20,证明：,(1),(,x)(R(x),P(x),P(,附加前提),(2),(,x)(,R(x),P(x),T(1)E,11,(3),(,x)(R(x),P(x),T(2)Q E,1,E,5,(4),R(y),P(y),EI(3),(5),R(y),T(4)I,1,(6),(,x)(R(x),Q(x),P,(7),R(y),Q(y),UI(6),(8),Q(y),T(5)(7)I,8,(9),(,x)(P(x),Q(x),P,(10),P(y),Q(y),UI(9),(11),P(y),T(4)I,2,(12),Q(y),T(10)(11)I,8,(13),Q(y),Q(y),T(8)(12),2)(,x)(P(x),Q(x),(,x)(R(x),Q(x),(,x)(R(x),P(x),27 九月 2022习题20证明：(1)(x)(,04 十月 2024,习题20,证明：,(1),(,x)P(x),P(,附加前提),(2),P(y),UI(1),(3),(,x)(P(x),Q(x),P,(4),P(y),Q(y),UI(3),(5),Q(y),T(2)(4)I,8,(6),(,x)Q(x),UG(5),(,7),(,x)P(x),(,x)Q(x),CP(1)(6),3)(,x)(P(x),Q(x),(,x)P(x),(,x)Q(x),27 九月 2022习题20证明：(1)(x)P(x),04 十月 2024,谓词逻辑,设论域元素为,a,1,，,a,2,，,a,3,，,a,4,，则,；,。
27 九月 2022谓词逻辑设论域元素为a1，a2，a3，a,04 十月 2024,前束范式,在下列公式中，对约束变元进行改名，对自由变元进行代入,(,x)(P(x),(Q(x),R(x),(,x)(R(x),(,y)S(x,y),(,x)(P(x),Q(x),(,x)(R(x),S(x),改名：把第一个约束变元,x,改为,u，,把第二个约束变元,x,改为,v,把第三个约束变元,y,改为,w,改名：把第一个约束变元,x,改为,u，,把第二个约束变元,x,改为,v,(,u,)(P(,u,),(Q(,u,),R(,u,),(,v,)(R(,v,),(,w,)S(,v,w,),(,u,)(P(,u,),Q(,u,),(,v,)(R(,v,),S(,v,),27 九月 2022前束范式在下列公式中，对约束变元进行改名,04 十月 2024,前束范式,在下列公式中，对约束变元进行改名，对自由变元进行代入,(,x)P(x,y),(,x)(Q(x,z),(,z),(,x)R(x,y,z),改名：把第一个约束变元,x,改为,u，,把第四个约束变元,x,改为,v,改名：把第二个约束变元,x,改为,s，,把第三个约束变元,z,改为,t,(,u,)P(,u,y),(,x)(Q(x,z),(,z),(,v,)R(,v,y,z),(,u,)P(,u,y),(,s,)(Q(,s,z),(,t,),(,v,)R(,v,y,t,),代入：将第一个自由变元,y,代入,r，,将第二个自由变元,z,代入,w,(,u,)P(,u,r,),(,s,)(Q(,s,w,),(,t,),(,v,)R(,v,r,t,),27 九月 2022前束范式在下列公式中，对约束变元进行改名,04 十月。