Her şey kendisiyle özdeştir (özdeşlik ilkesi), kendisi dışındaki her şeyle çelişiktir (çelişmezlik ilkesi) ve kendisi ve kendisi dışındakiler dışında üçüncü bir kategori bulunmaz (üçüncü hâlin olmazlığı ilkesi). Bunlara klasik mantığın üç temel yasası diyoruz.
Bir önerme ya doğrudur ya da yanlıştır. Bu iki değer dışında bir doğruluk değeri yoktur. Klasik mantığın temel yasalarından üçüncü hâlin imkânsızlığı (veya olmazlığı) yasasına (veya ilkesine) göre bu böyledir. Latince "tertium non datur" şeklinde adlandırılır.
Yorumlar
Yorum Gönder