重言式的判定

不管是简单命题还是复合命题都是对事物情况的论断，所以它们都是有真假区别的。对于简单命题的真假，我们知道这是经验科学需要判断的；逻辑学在考虑问题时，不预设简单命题的真假，而同时考虑简单命题为真、为假的两种情况。

对于复合命题来说，情况会稍有不同。因为复合命题是由简单命题和连接词构成的，所以就算简单命题既可以为真又可以为假，复合命题也可能是只能为真或者只能为假的。比如，p是既可以为真又可以为假的，但是p∨¬p就只能为真，而p∧¬p则只能为假。(https://www.daowen.com)

由于连接词的本质就是表达简单命题和复合命题之间的真假对应关系，所以我们可以把构成复合命题的连接词看成一个函数，则其中的简单命题就是自变量，复合命题本身的值就是一个因变量。由于自变量和因变量的取值范围都是{真，假}，所以我们可以把这种函数叫作真值函数。我们把取值只能为真的复合命题叫作重言式，把取值只能为假的复合命题叫作矛盾式，把取值可以为真也可以为假的复合命题叫作偶真式。本节的内容就是，如何判断一个复合命题是否是重言式？