Her A, B'dir. X de bir A'dır. O hâlde X bir B'dir formundaki bir dedüktif akıl yürütme (dedüksiyon veya tümdengelim de denebilir) örneği: Her teknolojik araç (A) insan ürünüdür (B). Yapay zekâ (X) da bir teknolojik araçtır (A). O hâlde yapay zekâ (X) bir insan ürünüdür (B).
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