tikel olanın doğruluğunu kanıtlamak için, tümelin doğruluğunu göstermekten oluşan akıl yürütme. çıkarımın doğrudan bir çıkarım olmayıp, dolaylı olduğu durumlarda, örneğin tasımda, a fortiori argüman, özel ya da tikel önermeyi kanıtlamak için, genel önermeyi kanıtlamaya karşılık gelir.