1. Verilen bir -> öncelden (olgu ya da önerme) çıkarsama yolu ile varılan sonuç. Verilmiş öncüllerden bir sonucun çıkarılması çıkarım sonucu varılan sonuç. A önermesine B önermesinden varılıyorsa, B doğru ise mantık yasaları gereğince A nın da doğru olarak tanıtlanması gerekir.
2. Öncülleri sonuç önermesine bağlayan mantıksal bağıntı.
TDK Felsefe Terimleri Sözlüğü