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

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