deductie
Deductie is het proces van het afleiden van een conclusie uit gegeven premissen door middel van regels van redenering. Het is een centraal begrip in logica, wiskunde en informatica, en wordt ook in het dagelijks taalgebruik gebruikt om een conclusie uit beschikbare informatie te formuleren. In het Nederlands verwijst deductie doorgaans naar een conclusie die noodzakelijk volgt uit de premissen, in tegenstelling tot inductie, waarbij generalisaties worden afgeleid uit waarnemingen.
In de logica betekent deductie dat een conclusie volgt uit een beweringensequentie op basis van formele regels.
In de wiskunde en theoretische informatica wordt deductie gebruikt om stellingen te bewijzen vanuit axioma’s en
In het Nederlands gebruik verwijst deductie vaak algemeen naar logisch redeneren en het afleiden van conclusies,