证明下列命题公式的蕴含关系。
(1)P→(Q→R)(P→Q)→(P→R)。
(2) ((PvP) →Q)→((PvP)→R) Q→R)。
(3) (Q→ (P∧P))→(R→(P∧P)) (R→Q)。
第1题
构造下列命题公式的真值表:
(1)Pv(Q∧R);
(2) (P∧Q)v(R∧Q);
(4) (Q∧(P→Q))→P。
第3题
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(PQ)
(2) (P→Q)(P→Q)
(3)(R(∧Q→P))→(P→(QvR))
第4题
A.P ∧ Q
B.P → Q
C.P ∨ Q
D.Q → P
第6题
证明下列各式的有效性(如有必要,可用间接证明法)
(1)(R→Q),RvS,S→ Q,P→QP。
(2)S→Q,SvR, R, P→QP。
(3)(P→Q)→(RvS), (Q→P)vR, RPQ 。
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!