Terms for subject Information technology containing deduction

English	French
automatic deduction	démonstration automatique de théorèmes
automatic deduction	démonstrateur de théorèmes
deduction complete	complet pour la déduction
deduction complete	complet
deduction rule	règle de déduction
deduction rule	règle de dérivation
deduction rule	règle d'inférence
natural deduction	déduction naturelle
natural deduction systems of logic	système logique de déduction naturelle