题目内容
(请给出正确答案)
[单选题]
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
A.一次运用选言推理的否定肯定式
B.联言推理的分解式
C.两次运用选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.联言推理的组合式
提问人:网友xiaowangxw
发布时间:2022-01-07
A.一次运用选言推理的否定肯定式
B.联言推理的分解式
C.两次运用选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.联言推理的组合式
A、(¬P∨Q)∧(P∨¬Q)∧(P∨¬R)
B、(¬P∨R)∧(P∨¬Q)∧(P∨¬R)
C、(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)
D、(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)∧(P∨¬R)
(1)(p∨(q∧r))→(r∨s).
(2)(p↔r)∧(¬q∨s).
(3)(¬p∧¬q∧r)↔(p∧q∧¬r).
(4)(¬p∧¬g∧r∧s)∨(p∧q∧r∧s)。
(1)(Q→P∧S).
(2)(Q→S∧P).
(3)((¬P→Q)→(Q→P)).
(4)((P→(Q→R))→((P→Q)→(P→R))).
(5)(QS→K).
(1)(R→Q),RvS,S→ Q,P→QP。
(2)S→Q,SvR, R, P→QP。
(3)(P→Q)→(RvS), (Q→P)vR, RPQ 。
A、"x(S(x)→P(x))
B、"x(S(x)→﹁P(x))
C、$x(S(x)∧P(x))
D、$x(S(x)∧﹁P(x))
A、"x(B(x)→C(x))
B、"x(B(x)→﹁C(x))
C、$x(B(x)∧C(x))
D、$x(B(x)∧﹁C(x))
A、$x(A(x)∧﹁B(x))
B、$x﹁(A(x)∧B(x))
C、"x(A(x)∧﹁B(x))
D、"x﹁(A(x)→B(x))
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!