deduction

одна из мыслительных операций – умозаключение от общего к частному, от общих суждений к частным выводам; вид рассуждения, использующий дедуктивный вывод – достоверный вывод, происходящий по правилам логики. Два основных (бескванторных) правила дедуктивного вывода: 1) modus ponens: если А истинно, то В истинно; А истинно; следовательно, В истинно; 2) modus tollens: если А истинно, то В истинно; В ложно; следовательно, А ложно (рассуждение «от противного»).