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

'''Prawda''' to jedna z dwóch podstawowych wartości [[logika|logicznych]]. Drugą jest [[fałsz]]. W logice matematycznej '''prawda''' jest jedynie symbolem, i nie ma żadnego głębszego znaczenia. W mowie potocznej oraz w logice tradycyjnej prawda to stwierdzenie czegoś, coczym miałoróżni faktyczniesię miejsceod lubswojego stwierdzenie nie występowania czegoś, co faktycznie niepotocznie miałoużywanego miejscaodpowiednika. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to [[tautologia]].