7. Propriétés métalogiques des systèmes logiques
7.1 Déductibilité
La déductibilité (deductibility) est la propriété d’un système logique exprimant le passage de la déduction (conséquence syntaxique de nature métalogique) à l’implication (de nature logique).
Un théorème de déduction (deduction theorem) est un métathéorème qui justifie l’utilisation de démonstrations conditionnelles (proof conditionals) dans des systèmes logiques qui ne disposent pas de règles d’inférences explicites ad hoc.
La construction de démonstrations est ainsi considérablement simplifiée.
L’établissement du théorème de déduction est nécessaire pour prouver le théorème de complétude.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Propriétés métalogiques des systèmes logiques
Théories métalogiques
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
