Таутологија је исказна формула
која је истинита за све вредности исказних слова. Једноставније
говорећи, таутологија је израз који је увек тачан, без обзира на
околности. Филозоф Лудвиг Витгенштајн је први употребио овај назив,
1921. године.
Појам супротан таутологији се назива контрадикција, која је увек нетачна.
Чест посао у логици је проверавање да ли је дата исказна формула таутологија или не. Једна од метода проверавања да ли је формула таутологија је исписивање истинитосне таблице за дати израз.
Занимљивост: Реч таутологија је настала од грчке ријечи ταυτολογία, која је код старих Грка означавала исказ који је тачан само зато што је понављан више пута (нпр. у аналогији са српском пословицом „сто пута речена лаж постаје истина“). Иако је због тога реч имала погрдну конотацију, од 19. века та реч је добила ново значење, означавајући исказе чија је вредност увек „тачно“.
Појам супротан таутологији се назива контрадикција, која је увек нетачна.
Чест посао у логици је проверавање да ли је дата исказна формула таутологија или не. Једна од метода проверавања да ли је формула таутологија је исписивање истинитосне таблице за дати израз.
Занимљивост: Реч таутологија је настала од грчке ријечи ταυτολογία, која је код старих Грка означавала исказ који је тачан само зато што је понављан више пута (нпр. у аналогији са српском пословицом „сто пута речена лаж постаје истина“). Иако је због тога реч имала погрдну конотацију, од 19. века та реч је добила ново значење, означавајући исказе чија је вредност увек „тачно“.
