哲学导论 > 逻辑 > 重言式和矛盾
一个真值表列，其中完全由T组成，表示无论构成该命题的单个命题是真还是假，该命题都为真的情况。最简单的例子是(p ∨ ¬p)。
p ¬p (p ∨ ¬p)T F TF T T
一个独立于其组成原子命题的真假而为真的命题被称为重言式。
类似地，一个独立于其组成原子命题的真假而为假的命题被称为矛盾。 这最简单的例子是(p ∧ ¬p)。
p ¬p (p ∧ ¬p)T F FF T F
