Bir akıl yürütmedeki önermeler, içeriğindeki terimlerin anlamı değişmediği sürece doğru ise doğru, yanlış ise yanlış kalmalıdır. Önermenin temsil ettiği doğruluk değeri sabit kalmazsa geçerli bir çıkarım yapamayız.
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