证明下列各式的有效性:(1)R→¬Q,R∨S,S→¬Q,P→QÞ¬P(2)S→¬Q,R∨S,¬R,¬P→QÞP(3)¬(P→Q)→¬(R∨S),(Q→P)∨¬R,RÞP↔Q(4)P→(Q→R),R→(S→E),¬F→(S∧¬E)ÞP→(Q→F)的有效的结论。
证明下列各式的有效性:(1)R→¬Q,R∨S,S→¬Q,P→QÞ¬P(2)S→¬Q,R∨S,¬R,¬P→QÞP(3)¬(P→Q)→¬(R∨S),(Q→P)∨¬R,RÞP↔Q(4)P→(Q→R),R→(S→E),¬F→(S∧¬E)ÞP→(Q→F)的有效的结论。
发布时间:2025-08-05 22:17:43