Logique Mathématique
Dr. Tarek ABABSA
[email protected] 2021/2022
Chapitre 2
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Quelques définitions
Un système formel
Une Preuve
Une Déduction
Règles de Déduction pour les Connecteurs∧,⌉
Règles de Déduction pour les Connecteurs∨,→,↔
Taille d’une déduction
Indépendance des formules
Théorème de Consistance
Théorème de Complétude
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Un système formel
Un système formel S est un quadruplet {A, F, X , R}, tel que :
A: Ensemble fini de symboles (Alphabet).
F: Ensemble des formules bien formées.
X: Ensemble fini de formules valides (Axiomes).
R: Ensemble fini de règles d’inférence, permettant de déduire de nouvelles formules.
Une Preuve
Une preuve dans S est une suite de formules tel que soit un axiome,
soit une formule qui résulte des formules précédentes en utilisant les règles d’inférence.
Une formule α admet une preuve dans S, si elle est la dernière formule. On note
On dit alors que α est un théorème.
Une Déduction
Une déduction d’une formule α à partir d’un ensemble de formules Γ est une suite de formules
tel que soit un axiome, soit une formule de Γ, soit une formule qui résulte
des formules précédentes en utilisant les règles d’inférence. On note Γ et on appelle les
formules de Γ des hypothèses.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Règles de Déduction pour ∧, ⌉
On appellera Déduction Naturelle de GENTZEN tout arbre de vérité tel qu’une conclusion
est obtenue à partir des prémisses en utilisant les règles (∧E),(∧I),(⌉E),(⌉I).
Règles pour la conjonction
Règle d'élimination du Règle d'introduction du
Règle pour la négation
Règle d'introduction du
Règle d'élimination du
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Notation
Soit un ensemble de formules où les sont des propositions quelconques.
: Signifie qu’il existe une déduction qui donne comme conclusion α dont les seules prémisses
non éliminées sont dans
: Signifie qu’il existe une déduction qui donne comme conclusion α telque toutes les
prémisses sont éliminées.
: Signifie que α est une théorème.
Exemple Démontrer que :
Par Suposition Par Suposition
Sur la Suposition
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Exemple Démontrer que : α ⌉(⌉α∧⌉β)
Par Suposition Par Hypothèse
Sur la Suposition
Exemple Démontrer que : α → β,α β
Par Hypothèse Par Hypothèse Par Suposition
Sur la Suposition
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Règles de Déduction pour ∨, →, ↔
Règles pour le conditionel
Règle d'élimination du Règle d'introduction du
Règles pour le bi-conditionel
Règle d'élimination du Règle d'introduction du
Règle pour la disjonction
Règle d'élimination du Règle d'introduction du
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Taille d’une déduction
On appelle taille d’une déduction, le nombre d’applications de règles de cette déduction.
Exemple
La déduction α → β, α ⊢ β a une taille ⩾3.
Indépendance des formules
Une formule α est indépendante des formules si on ne peut jamais la déduire
à partir de ces formules en utilisant les règles d’inférence.
Un ensemble de formules Γ est indépendant, si on ne peut pas déduire une de ces formules
à partir des autres.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Chapitre 2
Déduction (Etude Sémantique)
Théorème de consistance
Si alors
Cela veut dire qu’un système logique est inconsistant, s’il existe une formule tel que :
et
Théorème de complétude
Soient des formules propositionnelles.
Si alors
Si alors
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
