boom van deducties
Een boom van deducties is een schematische weergave van een redenering die de relatie aangeeft tussen een of meer (algemene) beweringen en de daar via deductie uit afgeleide meer bijzondere beweringen. Omdat deductie de waarheid van de algemene beweringen bewaart, zullen ook de eruit afgeleide bijzondere beweringen waar zijn.