Mantıkta, bir akıl yürütmenin veya çıkarımın temelini oluşturan ifadelere öncül denir. Öncüller, bir argümanın dayandığı, doğru olduğu kabul edilen veya iddia edilen başlangıç noktalarıdır. 🎯
Öncüller, bir sonuca ulaşmak için kullanılan kanıtlar veya gerekçelerdir. Bir argüman genellikle öncüllerden yola çıkar ve bu öncüllerden mantıksal bir sonuç (varılan yargı) çıkarılır.
Aşağıdaki basit akıl yürütmeyi inceleyelim:
Bu örnekte, ilk iki cümle öncüldür. Bu öncüller doğru kabul edildiğinde, "Sokrates ölümlüdür" sonucuna mantıksal olarak ulaşılır.