题目内容
(请给出正确答案)
[主观题]
求命题公式(¬P→Q)→(¬Q∨P)的特异析取范式和特异合取范式.
求命题公式(¬P→Q)→(¬Q∨P)的特异析取范式和特异合取范式.
答案
查看答案
求命题公式(¬P→Q)→(¬Q∨P)的特异析取范式和特异合取范式.
第1题
用真值表方法证明下面各题:
(1)P→(Q→R)=Q→(P→R).
(2)(P→Q)∧(R→Q)=(P∨R→Q).
(3)P→Q=¬P∨Q.
第2题
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(PQ)
(2) (P→Q)(P→Q)
(3)(R(∧Q→P))→(P→(QvR))
第3题
第7题
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?
(1)(P∨Q)→R (2)(P∧Q)→R
(3)(P→Q)→R (4)P→(Q∨R)
第11题
改正下列证明中的错误:
前提:
结论:¬M(y))
证明过程:
(1)P
(2)(1)US
(3)¬P(附加前提)
(4)(¬P(z)) (3)T,E
(5)¬P(a) (4)US
(6)¬P(a)∨¬R(b,a) (5)T,I
(7)(¬P(z)∨¬R(b,z)) (6)UG
(8)¬(7)T,E
(9)¬(2)(8)T,I
(10)(¬S(b,y)∨¬M(y)) (9)T,E
(11)(S(b,y)→¬M(y)) (10)T,E
(12)(S(x,y)→¬M(y)) (11)UG
(13)¬¬M(y)) CP