真值表的判定方法

命题逻辑中,有些命题表达式,不管用什么真值代入其变项中,该表达式总是真的。这样的命题表达式就叫做永真公式,也叫做重言式。它们表达了某种逻辑规律。例如:“p→p”“(?)(p∧(?)p)”“p∨(?)p”“〔(p→q)∧p〕→)q”等等都是重言式,它们分别表达“同一律”“矛盾律”“排中律”及“蕴涵定律”等逻辑规律。从这个意义上说,研究重言式是命题逻辑的重要任务。因此,研究重言式的判定问题也就成了命题逻辑的一项重要课题。