Kanıtlayan ve kanıtlanan önermelerin olmadığı bir akıl yürütme olmaz. O şeye bir "önerme yığını" diyebiliriz ama akıl yürütme diyemeyiz. Akıl yürütme, en az iki önermeden oluşmalı ve önermeler arasında kanıtlayan-kanıtlanan ilişkisi olmalıdır.
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