Prawda (logika): Różnice pomiędzy wersjami

'''Prawda''' to jedna z dwudwóch podstawowych wartości [[logika|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]].