Таутологија (логика) — разлика између измена

'''Таутологија''' је, у терминологији [[исказни рачун|исказног рачуна]], [[исказ (логика)|исказна формула]] која је истинита за сваку комбинацију параметара формуле. Једноставније говорећи, таутологија је израз који је увијекувиек тачан, без обзира на околности. [[Филозофија|Филозоф]] [[Лудвиг Витгенштајн]] је први употријебиоупотриебио овај назив, 1921. године.

На примјерпример, исказна формула <math>A \lor \lnot A</math> (чита се „исказ ''-{A}-'' је тачан или је израз супротан од ''-{A}-'' тачан“, или краће „тачно је ''-{A}-'' или не ''-{A}-''“, или још краће „''-{A}-'' или не ''-{A}-''“) је увијек тачна за сваки исказ <math>A</math>; јер, поједностављено говорећи, сваки исказ је или тачан или нетачан.

Појам супротан таутологији се назива [[контрадикција]], која је увијек нетачна за сваку своју додјелудоделу параметара.