déduction naturelle

DIDACTIQUE

La déduction est une façon d’exposer les principes de la logique du
premier ordre (ou calcul des prédicats) pour les rendre aussi proches que possible des façons
naturelles de raisonner et donc sans emploi d’axiomes de logique.
Ce système, proposé en 1934 par Gerhard Gentzen, s’écarte des logiques purement formelles basées sur une axiomatique .