Sonuç önermesi nedir?
Çıkarım (inference, inferentia), gerekçe olarak bir veya birden çok önermeyi gösterip başka bir önermeyi öne sürmek olarak tanımlanabilir. Gerekçe olarak öne sürülen önermelere öncül, gerekçelendirilen önermeye de sonuç (veya sonuç önermesi) denir.
