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
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Déduction_naturelle
Lien Wikidata : https://www.wikidata.org/wiki/Q1572108