A一次运用选言推理的否定肯定式
B联言推理的分解式
C两次运用选言推理的否定肯定式
D充分条件推理的肯定前件式
E联言推理的组合式
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
多选题查看答案
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
多选题查看答案
试例示具有下列命题形式和推理形式的命题或推理. 1.所有S都不是P。 2.要么r,要么s。 3.如果p,那么q;非q;所以非p。 4.所有M都是P,S都是M,所以S都是P。
简答题查看答案
以“只有p,才q且r”和“非P”为前提,可必然推出结论()。
单选题查看答案
以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
多选题查看答案
以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。
多选题查看答案
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
多选题查看答案
如果P,则Q,如果P则r,非q或者r,非p,这是()结构
单选题查看答案
如果p,那么非q;如果p,那么非r;q或r;所以,非p。这是二难推理的()。
单选题查看答案