Mantık önermelerin doğru veya yanlış olduğuyla ilgilenmez. Bütün sincaplar kuştur. Habil bir sincaptır. O hâlde Habil bir kuştur. Bütün sincapların kuş olduğunu ve benim bir sincap olduğumu kabul edersek, bu akıl yürütme mantıksal açıdan geçerli olur. Ben kuş veya sincap değilim.
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