下列推理形式中,无效的有()。A、((p∨~q)∧q)→~pB、((p∧q)∧r)→(p∧r)C、((~p→q)∧q)→~pD、((p→q)∧(r∧p))→qE、(p→q)∧(r→s)∧(q∨s))→(p∨r)
下列推理形式中,无效的有()。
- A、((p∨~q)∧q)→~p
- B、((p∧q)∧r)→(p∧r)
- C、((~p→q)∧q)→~p
- D、((p→q)∧(r∧p))→q
- E、(p→q)∧(r→s)∧(q∨s))→(p∨r)
相关考题:
下列命题公式中为重言式的是Ⅰ.((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ.(p→(q∨r))→((p→q)∧(p→r))Ⅲ.((p→q)∧(P→r))→((p→r)Ⅳ.((p∨q)∧(p→r))→(p→r)A.ⅢB.Ⅰ和ⅢC.Ⅰ和ⅡD.Ⅰ、Ⅱ、Ⅲ和Ⅳ
在以下二难推理中,无效式是()A、(((p→q)∧(r→s))∧(p∨r))→(q∨s)B、(((p→q)∧(r→s))∧(∨)C、((p→q)∧(p→r))∧(∨))→pD、(((p→q)∧(r→q))∧(p∨r))→q
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A、~(p∨q),能必然推出(~r∨~s)B、(~r∨~s),能必然推出(p∨q)C、(p∨q),能必然推出~(r∧s)D、~(r∧s),能必然推出(~p∨~q)
在下列选言推理形式中,无效的有()。A、(p∨q)∧p├﹁qB、(pqr)∧﹁p├q∧rC、(pqr)∧﹁p├qrD、(p∨q∨r)∧﹁p├q∨rE、(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s
下列推理形式中,无效的是()。A、如果p,那么r;如果非p,那么r;P或者非P;所以rB、只有非P,才q;非p;所以非qC、要么p,要么q;q;所以pD、如果p并且q,那么r;非p或者非q;所以;非rE、p并且非q,所以p
下列推理形式中,有效式是()。A、如果非p,那么非q;q;所以pB、要么非p,要么q;非p;所以非qC、只有非p,才q;非p;所以qD、如果p,那么非q;非p;所以qE、p并且q并且r;所以p并且r
问答题试判断以下各式是否为重言式。 (1)(P→Q)→(Q→P) (2)P→(P→Q) (3)Q→(P→Q) (4)(P∧Q)→(P→Q) (5)((P→Q)∨(R→Q))→((P∨R)→Q) (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))
多选题下列推理形式中,无效的有()。A((p∨~q)∧q)→~pB((p∧q)∧r)→(p∧r)C((~p→q)∧q)→~pD((p→q)∧(r∧p))→qE(p→q)∧(r→s)∧(q∨s))→(p∨r)
单选题在以下二难推理中,无效式是()A(((p→q)∧(r→s))∧(p∨r))→(q∨s)B(((p→q)∧(r→s))∧(∨)C((p→q)∧(p→r))∧(∨))→pD(((p→q)∧(r→q))∧(p∨r))→q
多选题下列推理形式中,有效式是()。A如果非p,那么非q;q;所以pB要么非p,要么q;非p;所以非qC只有非p,才q;非p;所以qD如果p,那么非q;非p;所以qEp并且q并且r;所以p并且r
单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A~(p∨q),能必然推出(~r∨~s)B(~r∨~s),能必然推出(p∨q)C(p∨q),能必然推出~(r∧s)D~(r∧s),能必然推出(~p∨~q)
多选题下列推理形式中,无效的是()。A如果p,那么r;如果非p,那么r;P或者非P;所以rB只有非P,才q;非p;所以非qC要么p,要么q;q;所以pD如果p并且q,那么r;非p或者非q;所以;非rEp并且非q,所以p
多选题在下列必要条件推理形式中,无效的有()。A(p←﹁q)∧﹁q├pB(﹁p←q)∧p├﹁qC(﹁p←﹁q)∧p├qD(﹁p←q)∧﹁p├qE(p←﹁q)∧q├﹁p