vargı

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ı.

(Alm. Konklusion, f; Schlussfolgerung, f; Fr. conclusion, f; İng. conclusion) 

mat. Varsayımlardan hareket ederek ve tanıtlama yöntemleri kullanarak elde edilen sonuç önermesi.

Tümdengelimci bir dizgede sayıltılardan kaynaklanan ve bilinen çıkarım kuralları yoluyla türetilen sonuçlar.

Bir araştırma ve irdelemede elde edilen sonuç.

Varsayımlardan çıkan sonuç.

Bakınız: çıkarım sonucu