Size mantıksal açıdan geçerli ama içeriği gerçekliğe uygun olmayan bir akıl yürütme yazayım. Tüm güvercinler kedidir. Pırpır bir güvercindir. O hâlde, Pırpır bir kedidir. Sonuç öncüllerden zorunlu olarak çıktığı için bu akıl yürütme mantıksal olarak geçerlidir 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