Vlastnosť výroku (formálneho symbolu), že je pravdivý, alebo nepravdivý.

Klasická logika (bivalentná) uznáva len tieto dve protichodné hodnoty. Moderná logika zavádza ďalšie hodnoty (možný, neistý, pravdepodobný atď.): je to logika polyvalentná.