Термінологія курсу

 (від лат. deductio — виведення, відведення, введення) — логічний умовивід від загального до конкретного, від загальних суджень до часткових або менш загальних висновків. У науковому пізнанні дедукція нерозривно пов’язана з індукцією.

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