命题公式(p→(p∧q))∨r的主合取范式中含有多少个极大项A.1B.2C.3D.4
命题公式(p→(p∧q))∨r的主合取范式中含有多少个极大项
A.1
B.2
C.3
D.4
参考答案和解析
<img src="/ananas/latex/p/1261548">
相关考题:
下列命题公式中为重言式的是Ⅰ.((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.Ⅰ、Ⅱ、Ⅲ和Ⅳ
在公式(v)(Q(v,u)∧~((R(v)∨P(v))∧S(u,v)))中,Q(v,u)是一个主合取元,是另一个主合取元。 A、(R(v)∨P(v))∧S(u,v)B、S(u,v)C、(R(v)∨P(v))D、R(v)
在以下二难推理中,无效式是()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)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。 A、p并且qB、非p并且非qC、并非(如果p,那么非q)D、p或qE、并非(只有非p,才q)
下列推理形式中,无效的有()。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)
问答题试判断以下各式是否为重言式。 (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)
单选题对于命题p和q,若“p且q”为真命题,则下列四个命题:①p或非q是真命题;②p且非q是真命题;③非p且非q是假命题;④非p或q是假命题,其中真命题是( ).A①②B③④C①③D②④