Bir şey ya aktır ya da ak olmayandır. Ak olmayan deyince aklınıza kara gelmesin. Lacivert de ak olmayandır, fuşya da. Bir şey ya kendisidir (örneğin aktır) ya da kendisi dışındaki herhangi bir şeydir. Örneğin bir şey mavi ise mavi dışındaki tüm renkler o şeyin çelişiği olacaktır.
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