Mantık tek geçerli akıl yürütme türü ve dolayısıyla ana konusu olan dedüktif akıl yürütme ya da diğer bir adıyla dedüksiyon veya tümdengelim ile ilgilenir. Analojik akıl yürütme ve endüktif akıl yürütme ya da diğer bir adıyla analoji ya da endüksiyon mantığın ana konusu değildir.
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