Aristoteles mantığında, büyük öncülü kesin, fakat küçük öncülü yalnızca muhtemel olan bir tasıma; bir sonucun geçerliliğini, söz konusu sonucun çelişiğinin doğru olduğunu kabul ederek bundan olanaksız ya da kabul edilemez sonuçların çıktığını göstererek kanıtlayan, dolaylı bir kanıtlama yöntemi.