Prawda (logika)
Z Wikipedii
Prawda to jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz. W logice matematycznej prawda jest jedynie symbolem, nie ma żadnego głębszego znaczenia. W mowie potocznej oraz w logice tradycyjnej prawda to stwierdzenie czegoś, co miało faktycznie miejsce lub stwierdzenie nie występowania czegoś, co faktycznie nie miało miejsca. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.