-
İlkeleri:
1- özdeşlik: a=a
2- çelişmezlik: a, kendisi olmayana eşit olamaz.
3- üçüncü halin imkansızlığı: a, ya b'ye eşittir ya değildir. 3. ihtimal yoktur.
bunlar bulanık mantıkla falan biraz aşılmış görünse de, bulanık mantık da aslında bu üç ilkenin üzerinden tanımlayan terimlerle tanımlanır.