(z lat. inferre, vnášať): V logike sa tak označuje každá operácia, ktorou dospievame k tvrdeniu pravdivosti, alebo nepravdivosti, nejakého výroku na základe pravdivosti alebo nepravdivosti jeho logických súvislostí s výrokmi, ktoré sú považované za pravdivé, alebo nepravdivé.