järeldus, loogikas loogiline võte, millega ühest või mitmest otsustusest – eeldusest – saadakse loogikareegleid järgides uus otsustus – tuletis.

VE, 2006