Çıkarım, genel olarak, önceden sahip olunan bilgilerden yeni bir bilgi elde etme işlemi
olarak kabul edilir. Klasik mantıkta ise verilen bir veya birden çok önermeden bir veya daha
çok yeni önerme elde etmektir. Çıkarımda verilen önermelere öncül, öncüllerden zihnin zorunlu
olarak çıkardığı önermeye ise sonuç önermesi denir. Öncüller doğru ise sonuç da doğru
olacaktır.
Örnek:
Bütün meyveler vitaminlidir.
Elma meyvedir.
O hâlde elma vitaminlidir.
Çıkarımlar doğrudan çıkarım ve dolaylı çıkarım olmak üzere ikiye ayrılır (Şema 2.8).
Konu özetinin devamı için pdf dosyayı indirebilirsiniz.