| Subject | Russian | English |
| Gruzovik, logic | абстрактно-дедуктивный | abstract-deductive |
| AI. | автоматизированный дедуктивный вывод | computer-assisted deductive reasoning (Alex_Odeychuk) |
| progr. | введение в дедуктивные доказательства | introduction to deductive proofs (ssn) |
| robot. | выводить дедуктивным способом | deduce |
| AI. | вычислительная когнитивная теория дедуктивного мышления человека | computational cognitive theory of human deductive reasoning (Alex_Odeychuk) |
| math. | гипотетико-дедуктивный | hypothetico-deductive |
| gen. | гипотетико-дедуктивный | hypothetico deductive |
| math. | гипотетико-дедуктивный метод | hypothetico-deductive method |
| avia., med. | гипотетико-дедуктивный метод | hypothetico-deductive method (исследования) |
| ed. | гипотетико-дедуктивный метод | hypothetic-deductive method |
| gen. | гипотетико-дедуктивный метод | hypotethetico-deductive method |
| math. | дедуктивная абстракция | deductive abstraction |
| IT | дедуктивная база данных | deductive database |
| IT | дедуктивная база данных | inferential database |
| automat. | дедуктивная база данных | deductive database (для заключений от общего к частному) |
| progr. | дедуктивная верификация | deductive verification (Alex_Odeychuk) |
| progr. | дедуктивная верификация программных систем | deductive software verification (Alex_Odeychuk) |
| math. | дедуктивная выводимость | deductive inferability |
| math. | дедуктивная индукция | deductive induction |
| math. | дедуктивная логика | deductive logic |
| IT | дедуктивная машина | deductive machine |
| IT | дедуктивная машина | inference engine |
| math. | дедуктивная модель | deductive model |
| math. | дедуктивная непротиворечивость | deductible consistency |
| math. | дедуктивная несовместимость | deductive inconsistency |
| math. | дедуктивная общезначимость | deductive validity |
| math. | дедуктивная оценка | deductive evaluation |
| math. | дедуктивная полнота | deductive completeness |
| math. | дедуктивная противоречивость | deductive inconsistency |
| comp. | дедуктивная система | deductive system |
| logic | дедуктивная система абстрактных понятий | deductive framework of abstract concepts (Alex_Odeychuk) |
| math. | дедуктивная систематизация | deductive systematization |
| scient. | дедуктивная структура | deductive pattern (I. Havkin) |
| math. | дедуктивная теория | deductive theory |
| math. | дедуктивная теория | DT (deductive theory) |
| IT | дедуктивная цепочка | deductive chain |
| math. | дедуктивная эквивалентность | deductive equivalence |
| scient. | дедуктивно-аксиоматический метод | deductive-axiomatic method (I. Havkin) |
| math. | дедуктивно замкнутая теория | deductively closed theory |
| math. | дедуктивно истинный | deductively valid |
| math. | дедуктивно наследственный | deductively hereditary |
| math. | дедуктивно непротиворечивый | deductively consistent |
| math. | дедуктивно несовместное множество | deductively inconsistent set (дедуктивно противоречивое) |
| Gruzovik | дедуктивно-описательный | object-descriptive |
| math. | дедуктивно полный | deductively complete |
| tech. | дедуктивно равные | interdeducible |
| IT | дедуктивно равные формулы | interdeducible formulas |
| math. | дедуктивно равные формулы | interdeducible formulae |
| IT | дедуктивно-равный | interdeducible |
| math., logic | дедуктивно равный | interdeducible |
| math. | дедуктивно связанный | deductively connected |
| math. | дедуктивно совместное множество | deductively consistent set (дедуктивно непротиворечивое) |
| math. | дедуктивно эквивалентный | deductively equivalent |
| math. | дедуктивное доказательство | deductive proof |
| math. | дедуктивное доказательство | deductive demonstration |
| math. | дедуктивное доказательство | deductive argument |
| el. | дедуктивное доказательство | deductive reasoning |
| gen. | дедуктивное доказательство | syllogism |
| math. | дедуктивное замыкание | deductive closure |
| math. | дедуктивное исчисление предикатов | deductive predicate calculus |
| progr. | дедуктивное моделирование | deductive simulation (ssn) |
| Makarov. | дедуктивное мышление | priori reasoning |
| avia., med. | дедуктивное мышление | top-down reasoning |
| Makarov. | дедуктивное мышление | a priori reasoning |
| avia. | дедуктивное мышление | deductive reasoning |
| AI. | дедуктивное мышление человека | human deductive reasoning (Alex_Odeychuk) |
| math. | дедуктивное обоснование | deductive justification |
| math. | дедуктивное понятие | deductible concept |
| microel. | дедуктивное правило | inference rule |
| math. | дедуктивное правило | deductive rule |
| math. | дедуктивное предположение | deductive guess |
| math. | дедуктивное рассуждение | deductive reasoning |
| math. | дедуктивное рассуждение | deductive argument |
| IT | дедуктивное регулирование | inferential control (на основе приближенных математических зависимостей) |
| IT | дедуктивное регулирование | inferential control |
| math. | дедуктивное следствие | deductive consequence |
| logic | дедуктивное умозаключение | deductive thought (Alex_Odeychuk) |
| gen. | дедуктивное умозаключение | deductive inference |
| progr. | дедуктивные доказательства | deductive proofs (ssn) |
| IT | дедуктивные рассуждения | deductive reasoning |
| progr. | дедуктивные рассуждения дедуктивный вывод | deductive reasoning (метод, используемый в языке Prolog для нахождения решения по заданным фактам и правилам ssn) |
| microel. | дедуктивный алгоритм | deductive algorithm |
| media. | дедуктивный алгоритм | deductive algorithm (алгоритм одновременного моделирования исправной и множества неисправных схем, в котором вычисление значений сигналов выполняется с помощью операций над списками) |
| softw. | дедуктивный анализ | theorem proving (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) |
| mil. | дедуктивный анализ эксплуатации РК | deductive analysis of missile systems |
| AI. | дедуктивный верификатор | deductive verifier (Microsoft Alex_Odeychuk) |
| avia., med. | дедуктивный логический вывод | top-down reasoning |
| math. | дедуктивный вывод | deductive derivation |
| robot. | дедуктивный вывод | deductive reasoning |
| math. | дедуктивный вывод | deductive treatment |
| IT | дедуктивный вывод | deductive inference |
| comp. | дедуктивный вывод | deductive response |
| gen. | дедуктивный вывод | conclusion (результат аргументированных логических рассуждений) |
| IT | дедуктивный deductive chain дедуктивная цепочка | deductive |
| AI. | дедуктивный классификатор | deductive classifier (Alex_Odeychuk) |
| philos. | дедуктивный космологический аргумент | deductive cosmological argument (Alex_Odeychuk) |
| math. | дедуктивный критерий | deductive criterion |
| IT | дедуктивный метод | deductive method |
| IT | дедуктивный метод | synthetic method |
| math. | дедуктивный метод | deductive approach |
| seism. | дедуктивный метод | deductive reasoning |
| invest. | дедуктивный метод анализа | deductive reasoning |
| O&G, tengiz. | дедуктивный метод поиска неисправностей | deductive troubleshooting (Yeldar Azanbayev) |
| psychol. | дедуктивный подход | deductive approach |
| seism. | дедуктивный подход | deductive reasoning |
| mech. | дедуктивный поиск | deductive retrieval |
| robot. | дедуктивный поиск | deductive retrieval (в базе знаний) |
| progr. | дедуктивный поиск информации | deductive information retrieval (ssn) |
| math. | дедуктивный результат | deductive result |
| progr. | дедуктивный синтез программ | deductive program synthesis (ssn) |
| scient. | дедуктивный софизм | deductive fallacy (I. Havkin) |
| math. | дедуктивный шаг | deductive step (ssn) |
| gen. | дедуктивным методом | deductively (Anglophile) |
| robot. | делать дедуктивные выводы | make deductions |
| robot. | делать дедуктивные выводы | deduce |
| sec.sys. | извлечение информации дедуктивным методом | information deduction |
| Gruzovik | индуктивно-дедуктивный | inductive-deductive |
| AI. | информация представлена в форме дедуктивных правил в базе знаний | information is represented in the form of deductive rules within the knowledge base (Alex_Odeychuk) |
| Makarov. | истина, полученная дедуктивным методом, не может быть подтверждена индуктивно | the truth as arrived at deductively, cannot be inductively confirmed |
| math. | каждый дедуктивный шаг | each deductive step (ssn) |
| AI. | компонент дедуктивного вывода | backward-chaining inference engine (Alex_Odeychuk) |
| ironic. | мастер дедуктивного метода | master of the obvious (VLZ_58) |
| math. | математико-дедуктивный | mathematico-deductive |
| math. | математико-дедуктивный метод | mathematically deductive method (ssn) |
| math. | математико-дедуктивный метод | mathematico-deductive method |
| psychiat. | математическо-дедуктивный метод | mathematico-deductive method |
| microel. | моделирование неисправностей с использованием дедуктивного алгоритма | deductive fault simulation |
| AI. | модель дедуктивных рассуждений | model of deductive reasoning (Alex_Odeychuk) |
| tech. | модуль управления дедуктивными операциями | inference control module (в СИИ) |
| math. | нормально дедуктивный кодификат | normally deductive codificate |
| mech. | построение дедуктивных выводов | making deductions |
| gen. | придерживающийся дедуктивного метода | deductive |
| progr. | программа дедуктивного моделирования неисправностей | deductive simulator (ssn) |
| IT | система управления дедуктивными базами данных | deductive database system (Alex_Odeychuk) |
| progr. | статическая дедуктивная верификация | static deductive verification (Alex_Odeychuk) |
| mech. | строить дедуктивные выводы | make deductions |
| robot. | строить дедуктивные выводы | deduce |
| mech. | строящий дедуктивные выводы | making deductions |
| AI. | формальная модель дедуктивных рассуждений | formal model of deductive reasoning (Alex_Odeychuk) |
| AI. | формирование дедуктивных и индуктивных рассуждений | deductive and inductive reasoning (Alex_Odeychuk) |
| AI. | формирование дедуктивных рассуждений | deductive reasoning (Alex_Odeychuk) |
| progr. | язык запросов к дедуктивным базам данных | query language for deductive databases (Alex_Odeychuk) |
