重言式
维基百科，自由的百科全书
逻辑重言式，又稱為永真式、恆真式、套套邏輯(tautology)。是不管它的部件的真值，而总是为真敘述。例如，敘述 "要么所有的乌鸦都是黑的，要么不都是黑的" 是重言式，因为不用管乌鸦是什么颜色都是真的。形式的表达为一个用 X 表示 "所有的乌鸦都是黑的" 的命题：
，它同样为真，因为不管 X 是否为真，都有一个离析项(disjunct)为真，而使整个命题为真。
不管它的部件的真值而总是为假的陈述叫做矛盾。
重言式可以用来在论证中介入红鲱鱼，但二者都不必然蕴涵另一个。
重言式的数学符号是 
。
[编辑] 发现重言式
在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。
|
|||||||||||||||||||
）
）
）
）
）
）
）
）
）
）
）
）
）
