Referate

Se numeste valoare de adevar a unei propozitii proprietatea acesteia de a fi adevarata sau falsa.
Valoarea de adevar a unei propozitii p se noteaza v(p), si este egala cu 1 daca p este adevarata, este egala cu 0 daca p este falsa.
Logica clasica a propozitiilor este in concordanta cu urmatoarele trei principii :
- principiul tertului exclus : o porpozitie nu poate lua o alta valoare decat 1 sau 0.
- pincipiul nonconcordantei : o propozitie nu poate lua in acelasi timp cele doua valori 1 si 0.
- principiul identitatii : o propozitie isi pastreaza valoarea sa de adevar.