déduction naturelle
concept système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner
Aussi : deduction naturelle
Nature : méthode
Catégories : techniques et méthodes · sciences · concepts abstraits
Mots du lexique : déduction nom commun, Naturelle nom propre