En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

démonstration

(latin demonstratio, -onis)

Ensemble de formules qui s'enchaînent à l'intérieur d'une théorie (théorie de la démonstration) et dont la dernière constitue un théorème, appelé également thèse.

LOGIQUE

La démonstration d'une formule est constituée par une liste de formules dont chacune, soit est l'un des axiomes de la théorie dans laquelle s'effectue la démonstration, soit résulte d'une ou de plusieurs formules, de rang inférieur dans la liste, en vertu d'une règle d'inférence admise dans la théorie. La formule est dite démontrable dans la théorie considérée.