A.((A∨B)→B)B.(A→(A∧B))C.((A→~B)∧B)→AD.((A→~B)∧B)→~A
已知四個概念M、N、S、P之間具有以下關(guān)系:(1)如果M不真包含于N,那么S與P不全異;(2)只有N與P全異,N才不真包含于P;(3)N與P相容,但S與P不相容。由此可以得出()。
A.M真包含NB.N與S全異C.P真包含MD.P真包含N
運用綜合推理,由上述已知前提能必然得出()。(1)(R∧S)→T(2)~R→~P(3)~T∧~U(4)V→(P∧Q)(5)~U→(Q→S)
A.Q→SB.S→PC.~P∨~QD.~U∧~V