Koşullu Muhakeme

Sam erkekse, sam anne değildir gibi “eğer x ise, o zaman y” biçimini alan akıl yürütme. biçimsel mantıkta, eğer’i takip eden ifadeye öncül, sonra’yı takip eden ifadeye ise sonuç denir.