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

{{друго значење|другу одредницу|[[таутологија]]}}

 

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