Birinci öncülü yanlış, ikinci öncülü doğru ve sonuç önermesi yanlış bir akıl yürütme, mantıksal olarak geçerli olabilir. Çünkü mantık, önermelerin doğruluğuyla ilgilenmez. Mantık, akıl yürütmenin geçerliliğiyle ilgilenir.
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