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

Садржај обрисан Садржај додат
мНема описа измене
м sitno
Ред 1:
{{друго значење|другу одредницу|[[таутологија]] (вишезначна одредница)}}
'''Таутологија''', у терминологији [[исказна логика|исказне логике]], је [[исказна формула]] која је истинита за сваку комбинацију параметара формуле. Једноставније говорећи, таутологија је израз који је увијек тачан, без обзира на околности. У [[логика|логици]] се за таутологију користи још и израз „ваљана исказна формула“. [[Филозофија|Филозоф]] [[Лудвиг Витгенштајн]] је први употријебио овај назив, 1921. године.
 
На примјер, исказна формула <math>A \lor \lnot A</math> (чита се „исказ ''-{A}-'' је тачан или је израз супротан од ''-{A}-'' тачан“, или краће „тачно је ''-{A}-'' или не ''-{A}-''“, или још краће „''-{A}-'' или не ''-{A}-''“) је увијек тачна за сваки исказ <math>A</math>; јер, поједностављено говорећи, сваки исказ је или тачан или нетачан.
Ред 52:
==Историја==
Ријеч таутологија је настала од грчке ријечи ''-{ταυτολογία}-'', која је код старих Грка означавала исказ који је тачан само зато што је понављан више пута (нпр. у аналогији са српском пословицом „сто пута речена лаж постаје истина“). Иако је због тога ријеч имала погрдну конотацију, од [[19. век|19. вијека]] та ријеч је добила ново значење, без погрдне конотације, означавајући исказе чија је вриједност увијек „тачно“.
 
{{клица-математика}}
 
==Спољашње везе==