9 + 4 ve 12 + 1 arasında eşitlik vardır ama özdeşlik yoktur. Bir şey yalnızca kendisiyle özdeştir. Kendisinden başka bir şeye eşit olabilir ama kendisinden başka hiçbir şeyle özdeş olamaz. 9 + 4 kendisine yani 9 + 4'e özdeştir. 12 + 1 kendisine yani 12 + 1'e özdeştir.
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