以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
相似题目
-
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
-
以“有S是M,所有P不是M”为前提进行三段论推理,将所得结论再进行变形法直接推理,可得出的结论有().
-
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
-
概念S与概念P的外延具有交叉关系。试问,以S为主项、P为谓项的四个直言命题中,哪几个取值为真?在这些取值为真的命题中,哪几个可以进行有效的换位法推理?用公式表示这些换位法推理。
-
以“不可能(p并且q)”为前提进行等值推理,其结论为()。
-
以“不必然(非p或q)”为前提进行等值推理,其结论为()。
-
以“所有P是M,有S不是M”为前提,进行三段论推理,其正确的结论是()。
-
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。
-
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
-
以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。
-
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
-
以“没有M不是P”和“有的S是M”为前提进行推理,其结论是().
-
以“所有P是M,所有S不是M”为前提进行三段论推理,可必然推出()。
-
以﹁p为前提进行有效推理,另一前提可以是()。
-
以p→()和q为前提进行推理,结论是()。
-
以“所有P是M”、“所有S不是M”为大小前提进行三段论推理,可必然推出()
-
“如果 p ,那么 q ;如果 r ,那么 s ; p 或者 r ;所以, q 或者 s 。”是二难推理的( )
-
以“不可能(p并且q)”为前提进行等值推理,其结论为( )
-
以“~(p∨q)←r”为前提构成演绎推理,若加上另一前提
-
以“没有M不是P”和“有的S是M”为前提进行推理,其结论是()
-
“(p→r)∧(﹁q→r)∧(p∨﹁q)├r”这一推理式是二难推理的()
-
“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是()。
-
(p→r)∧(¬q→¬s)∧(p∨¬q)→r∨¬s这一推理式是二难推理的()
-
推理证明下列各题的有效结论。 () p ∨ s , p → q , r → s T p ∨ r