(多选题)
以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
A﹁r∨﹁s
Br∧s
C﹁p∧﹁q
D﹁p∨﹁q
Er∨s
正确答案
答案解析
略
相似试题
(填空题)
以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。
(多选题)
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
(多选题)
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
(多选题)
以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。
(多选题)
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
(单选题)
以“只有p,才q且r”和“非P”为前提,可必然推出结论()。
(多选题)
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
(填空题)
以p→()和q为前提进行推理,结论是()。
(单选题)
以“不可能(p并且q)”为前提进行等值推理,其结论为()。