[多选题] 以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。A . p→﹁qB . q→pC . p∨﹁qD . p↔qE . p→q
[多选题] 以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。A . sB . ﹁qC . ﹁q∧sD . ﹁r∧sE . (﹁q∨﹁r)∧s
[多选题] 以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。A . pB . qC . ﹁pD . ﹁qE . p∨q
[判断题] 如果一个归纳推理结论为假,则这个推理的前提为假。A . 正确B . 错误
[单选题]如果一个包含两个选言支的不相容选言命题为真,则其两个选言支()。A . 可同真且可同假B . 可同真但不可同假C . 不可同真但可同假D . 不可同真不可同假
[填空题] 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。
[填空题] 以p→()和q为前提进行推理,结论是()。
[多选题] 不相容选言推理的正确式是()。A . 肯定前件式B . 肯定后件式C . 肯定否定式D . 否定肯定式E . 否定后件式
[多选题] 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式
[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式