请用真值表证明下列等价式：P→（Q→P）否定号P→（P→Q）
问题描述：
请用真值表证明下列等价式：
P→（Q→P）否定号P→（P→Q）
答
P→(Q→P)：
P Q Q→P P→(Q→P)
T T T T
T F T T
F T F T
F F T T
┐P→(P→Q)：
P Q P→Q ┐P ┐P→(P→Q)
T T T F T
T F F F T
F T T T T
F F T T T
∴P→(Q→P)≡┐P→(P→Q)
实在对不齐了,将就看一下吧.