Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель. Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень.