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

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

За други значения на думата виж пояснителни страници: тавтология.

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

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

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

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

X \lor \lnot X, обозначено като \top

Така, твърдението X \land \lnot X е винаги грешно и се нарича противоречие или несъгласуваност и се обозначава като \bot