以“如果p或q，那么r”和“非r”为前提，可必然推出结论（)。

A.p∨r

B.﹁p∨﹁r

C.p∧r

D.﹁q∨﹁r

A.P→(Q∧PR)

B.(P∨Q)→(﹁(Q∧R))

C.P→(Q→R)

D.(P→Q)→(P→R)

A.当p不成立时，“如果p那么q”恒为真

B.“如果p那么q”定义的是一种蕴涵关系(即充分条件)

C.无法用真值表来判断“如果p那么q”的真假

D.“如果p那么q”意味着命题q包含着命题p，即p是q的子集

A.非p

B.如果q则p

C.如果p则q

D.p且q

A.只有¬p才¬q;q;所以p

B.要么p要么q;q;所以¬p

C.如果¬p那么q;p;所以¬q

D.只有p才¬q;q;所以¬p

A.P=6

B.Q=12

C.P=12

D.Q=6

A.逆命题

B.否命题

C.逆否命题

D.假命题

A.┐P∧┐QP∨Q

B.┐P∨(P∧Q)Q

C.P→(┐Q→P)┐P→(P→Q)

D.Q→(P∨Q)┐Q∧(P∨Q)

A.p∨q

B.p∧┐q

C.p→┐q

D.p∨┐q