以~(p∧q)和q为前提进行推理,能必然得出结论()。
A: (p∧q)
B: (p∧~q)
C: (~p∧q)
D: (~p∧~q)
A: (p∧q)
B: (p∧~q)
C: (~p∧q)
D: (~p∧~q)
举一反三
- 以~(p∧q)和q为前提进行推理,能必然得出结论()。 A: A(p∧q) B: B(p∧~q) C: C(~p∧q) D: D(~p∧~q)
- 若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。 A: ~p B: ~q C: ~p∧~q D: ~p∨~q
- 以~p为一个前提进行演绎推理,如果()。 A: 加上前提(p∨q),则能必然推出结论q B: 加上前提(q∨~p),则能必然推出结论q C: 加上前提(p→q),则能必然推出结论~q D: 加上前提~q,则能必然推出结论(~q∧~p) E: 加上前提(q→p),则能必然推出结论~q
- 若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。 A: A~p B: B~q C: C~p∧~q D: D~p∨~q
- 以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有? p↔q|q→p|p∨﹁q|p→﹁q