Тавтология (логика)

Тавтологията е самоочевидна истина, която не предполага никакви допускания, за да се установи нейната истинност.

Пример за тавтология е:

• Или всички гарвани са черни, или някой от тях не е.

Твърдение, което може да обозначим по следния начин:

$X\vee \mathrm{\neg }X$, обозначено като $\mathrm{\top }$

Така, твърдението $X\wedge \mathrm{\neg }X$ е винаги грешно и се нарича противоречие или несъгласуваност и се обозначава като $\mathrm{\perp }$