西安电子科技大学逻辑等价式$1.3.1 j软件学院教家设A和B是两个含有相同命题变元P1,P2，Pn的逻辑等价：命题公式，若对于Pi,P....,P,的每-种真值指派，A和B的真值均相同，则称A和B是逻辑等价公式，记为A台B。若A为重言式，记为A台T例如：PΛQQ ΛPP-Q-PV Q与联结词“一”不同，等价符“台”是一个关系符，它表示命题公式A与B在相同的赋值下总是等值的。西安电子科技大学 逻辑等价式 软件学院 逻辑等价: §1.3.1 与联结词“↔”不同，等价符“⇔”是一个 关系符，它表示命题公式A与B在相同的赋值 下总是等值的。 例如： P ∧ Q ⇔Q ∧ P P→Q ⇔¬P ∨ Q