det å avlede en setning (konklusjonen) fra en eller flere andre setninger (premissene). Setningen som avledes kalles også en slutning. Induktive slutninger er slutninger fra det enkelte til det allmenne, deduktive slutninger er slutninger fra det allmenne til det enkelte. Se også argument.