真值表方法

---

用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项，普通逻辑中不相容析取联结词”V”(表示”要么…要么…”)，用真值表可定义为：当且仅当p和q不同真、不同假时，”pvq”为真。这一定义在真值表中表现如下：

又如，”((pvq)p)→q”是否为重言式，用真值表方法可以判定：

由最后一列可知，它是重言式。除一般真值表方法外，还有简化真值表方法和真值树方法。