1. herhangi bir önermenin "doğru", "yanlış" ve "karpuz" olabildiği mantık türü. reichenbach kuantum fiziğinin bu mantıkta değerlendirilmesi gerektiğini ileri sürmüştür, imho salakçadır.
  2. iki degerli klasik mantigin ihtiyaclara cevap vermemesi durumunda kullanilan mantik sistemlerinden uc degerli olani.
    klasik mantikdaki dogruluk degerlerini kabul eder ve bunlardan baska bir "bilinmeyen" degeri tanimlar. mesela klasik mantikdaki 1 (dogru) ve 0 (yanlis) degerleri burada da vardir. ama dogrulugu konusunda bir bilgimiz olmayan onermeler ya da durumlar icin 1/2 (belirsiz, contingent) tanimi yapilir. geriye kalan tek mesele ise bu yeni olusturdugumuz 1/2 degeri icin mantiksal operatorlerin davranislarini belirlemek.

    programlama acisindan bir ornek ile daha anlasili hale getirelim. mesela mantiksal operator olan logical or operatorunu ele alalim. aman karistirmayalim bitwise or'u degil. mesela,

    if (kosul1 || kosul2 || ....)

    dedigimiz zaman dogru donduren kosulu bulana kadar konrol devam edecek ve bulundugu anda geriye 1, yani dogru dondurulecek. peki diyelim ki, k pozisyonundaki kosulda dogruyu bulduk ve k'dan sonra belli bir sayida kontrol edilmemis onermeler duruyor. bu durumda icinde dogrulugu ya da yanlisligi konusunda fikrimiz olmayan onermelerin de oldugu bir kontrolden dogru cevabini geri dondurmus oluyoruz. evet biz dusunen canlilar olarak biliyoruz ki, k'dan sonrakiler dogru da olsa yanlis da olsa sonuc degismeyecek. fakat bilgisayar ortaminda, tam da bu noktada, uc degerli mantik devreye giriyor. yani k'dan sonraki kosullarin degerlerine 1/2 ataniyor ve sonucta soyle bir sey ortaya cikiyor:

    if(0 || .. || 0 || 1 || 1/2 ). bunun cevabi da uc degerli mantik sisteminde dogru oluyor.

    kisacasi, uc degerli mantik'in amaci, mantik sistemlerindeki bilinmeyen onermeler hakkinda yorum yapamasak da, sistemimizin bu gibi durumlar karsisinda nasil davranacagini belirleyebilmek. ayni teoriyi cok daha fazla yeni deger tanimlayarak genisletebilirsiniz. (bkz: multi valued logic)

üç değerli mantık hakkında bilgi verin