Verilen bir önermeden çıkarsama yoluyla varılan sonuç.
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.
Öncülleri sonuç önermesine bağlayan mantıksal bağıntı.