Déduction naturelle - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Les principes de la déduction naturelle
La déduction naturelle fait des raisonnements sous des hypothèses. La démonstration de q sous l'hypothèse p s'écrit:
La déduction naturelle est fondée sur des règles d'inférence qui permettent de déduire des théorèmes à partir d'autres. Par exemple on rencontre la règle :
