Geçerli bir dedüksiyonda sonucun öncüllerde saklı olmasını bekleriz. Her dedüksiyon bütünden parçaya gitmek zorunda değildir. Bazı dedüktif akıl yürütmeler bütünden bütüne de gidebilir ama her dedüktif akıl yürütmede sonuç öncüllerde saklı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