下列公式 ( )为重言式.
问题描述:
下列公式 ( )为重言式.
A.┐P^┐Q↔PvQ
B.(Q→(PvQ))↔(┐Q^(PvQ))
C.(P→(┐Q→P))↔(┐P→(P→Q))
D.(┐Pv(P^Q)) ↔Q
大侠们!
答
选C,反复用蕴涵等值式A→B=┐AvB.
C项中:
左边=(P→(┐Q→P))
=(P→(QvP)
=┐PvQvP
=1vQ
=1
右边=(┐P→(P→Q))
=┐P→(┐PvQ)
=Pv(┐PvQ)
=1vQ
=1
所以是永真式,也就是重言式