设r是p的必要条件,r是q的充分条件,s是r的充分必要条件,s是p的充分条件,则下列说法正确的有()
A.r是q的必要条件
B.s是q的充分条件
C.s是p的充分必要条件
D.p是q的既不充分也不必要条件
A.r是q的必要条件
B.s是q的充分条件
C.s是p的充分必要条件
D.p是q的既不充分也不必要条件
A.①④⑤
B.①②④
C.②③⑤
D.②④⑤
设P、Q的真值为O;R、S的真值为1,求下列命题公式的真值.
(1)P∨(Q∧R);
(2)(PR)∧(¬Q∨S);
(3)(P∧(Q∨R))→((P∨Q)∧(R∧S));
(4)¬(P∨(Q→(R∧¬P)))→(R∨¬S).
证明:
(1)S是前提P→Q,(QvR)∧R, (P∧S)的结论。
(2)PVQ是前提(P∧Q)→R,RVS,S的结论。
(3)RvS是前提P∧Q , (PQ)→(RvS)的结论。
(4)P→S是前提 PvQ, QvR,R→S的结论。
(5)P→(Q→F)是前提P→(Q→R),R→(S→E), F→(S∧ E)的结论。
判断下列子句集中哪些是不可满足的: (1)S={~P∨Q,~Q,P,~P} (2)S={P∨Q,~P∨Q,P∨~Q,~P∨~Q} (3)S={P(y)∨Q(y),~P(f(x))∨R(a)} (4)S={~P(x)∨Q(x),~P(y)∨R(y),P(a),S(a),~S(z)∨~R(z)} (5)S={~P(x)∨~Q(y)∨~L(x,y),P(a),~R(z)∨L(a,z),R(b),Q(b)} (6)S={~P(x)∨Q(f(x),a),~P(h(y))∨Q(f(h(y)),a)∨~P(x)} (7)S={P(x)∨Q(z)∨R(x),~P(y)∨R(y),~Q(a),~R(b)} (8)S={P(x)∨Q(z),~Q(y)∨R(y),~P(z)∨Q(z),~R(u)}
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?
(1)(P∨Q)→R; (2)(P∧Q)→R;
(3)(P→Q)→R; (4)P→(Q∨R).
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?
(1)(P∨Q)→R (2)(P∧Q)→R
(3)(P→Q)→R (4)P→(Q∨R)
A.(p∧q)←(r∧s)
B.(p∧q)→(r∧s)
C.(pVq)→(r∧s)
D.(p∧q)←(rVs)
A.(p∨q)∧p├﹁q
B.(pqr)∧﹁p├q∧r
C.(pqr)∧﹁p├qr
D.(p∨q∨r)∧﹁p├q∨r
E.(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s