Burda anlatılan klasik mantık da denilen aristoleles tarafından bir disiplin hailne getirilmiş olan "iki değerli mantıktır." Formel bilim olarak da bilinir matematiksel önermelerle yakından alakalıdır. İki değerli mantıkta bir önermenin "doğruluk degeri" iki ihtimalden(yani şıktan biri) olacaktır: ya doğru ya da yanlış üçüncü bir şık yoktur bu sistem de. Matematiksel olarak anlatırsak bos bir kağıt alın ve bu kağıda boş bir küme çizin. Sonra da elinize bir kalem alın ve kagidin herhangi bir yerine bir nokta atın. Şimdi noktanın iki yere atilma ihtimali vardır. Ya kümenin içine atilmistir ya da kümenin dışına...Noktanın atılacağı 3. Bir yer (ihtimal )yoktur. Iki degerli mantik burdan doguyor sonra da matematiksel onermeler uretilmeye baslaniyor şunun gibi. Eğer atılan nokta kümenin içindeyse bu kumenin disinda olmadığı anlamina gelir. Yani bir nokta ayni anda hem kümenin içinde hem kümenin dışında olamaz ikisinden biridir. Bu da celismezlik ilkesidir. Iki degerli mantik butun önermeleri sadece iki sik icinde degerlendirir. Bir onerme ya dogru ya da yanlis. Dogru olan yanlis olamaz, yanlis olan dogru olamaz yani hersey kendisidir. Bu da ozdesliktir.