Bir gerçek değeri her mantıksal önerme tahsis edilen bir değerdir.
Bir önermeye bir doğruluk değeri vermek için, içerdiği değişkenlere doğruluk değerleri atfederiz.
İki önerme oluşan bir teklifin değerinin P ve Q, bir bağlayıcı atanmış gerçek değerlerinden hesaplanır P ve Q . Bu nedenle, " P ve Q " 'ya atfedilen doğruluk değeri , "pq" olacaktır. Çarpmadır. Buna göre, P ve Q , ancak ve ancak P ve Q'nun her biri doğruysa doğrudur. Benzer şekilde, " P değil ", P 1 değerine sahipse 0 ve P 0 değerine sahipse 1 doğruluk değerine sahiptir. Sonuç olarak, hiçbir (P değil) P ile aynı doğruluk değerine sahip değildir.P ise, o zaman Q doğrudur değeri "hayır (p.non q)". Doğruluk değerinin bu versiyonuna klasik mantık denir .
Sadece sunulan iki doğruluk değerine sahip hesaplama tek değildir: bazı sistemler ikiden fazla doğruluk değeri uygularken , sezgisel mantık gibi diğerleri "p + yok p = 1" kabul etmez. Bu durumda hesaplama kuralları değişir: "non (nonp) = p" kaybederiz; " P veya değil P " artık her zaman doğru değildir. Genel olarak, iki değerlik , yani iki hakikat değerine sahip olma olgusu, başlangıçta klasik mantık tarafından önerilen ve yukarıda sunulan hesaplamayla artık karıştırılmamaktadır.