Académique Documents
Professionnel Documents
Culture Documents
Damien Nouvel
Plan
1. Histoire et définitions
2. Manipulation de formules
Propositions vs prédicats
Propositions vs prédicats
Propositions vs prédicats
Propositions vs prédicats
Propositions vs prédicats
Propositions vs prédicats
Alphabet
Alphabet
Alphabet
Alphabet
Alphabet
Alphabet
Alphabet
Définitions
§ Termes
• Toute variable
• Toute fonction f px , y , z q si x, y et z sont des termes
Définitions
§ Termes
• Toute variable
• Toute fonction f px , y , z q si x, y et z sont des termes
§ Formule atomique
• Si P est un prédicat à n arguments et x1 , x2 , . . . xn sont des termes,
alors P px1 , x2 , . . . xn q est une formule atomatique
Définitions
§ Termes
• Toute variable
• Toute fonction f px , y , z q si x, y et z sont des termes
§ Formule atomique
• Si P est un prédicat à n arguments et x1 , x2 , . . . xn sont des termes,
alors P px1 , x2 , . . . xn q est une formule atomatique
§ Formule bien formée
• Comme pour les propositions pour , ^, _, Ñ, Ø, pq
• Si une formule est atomique elle est bien formée
• Si Q est un quantificateur, x une variable et F une formule bien
formée, alors QxF est également bien formée
Définitions
§ Termes
• Toute variable
• Toute fonction f px , y , z q si x, y et z sont des termes
§ Formule atomique
• Si P est un prédicat à n arguments et x1 , x2 , . . . xn sont des termes,
alors P px1 , x2 , . . . xn q est une formule atomatique
§ Formule bien formée
• Comme pour les propositions pour , ^, _, Ñ, Ø, pq
• Si une formule est atomique elle est bien formée
• Si Q est un quantificateur, x une variable et F une formule bien
formée, alors QxF est également bien formée
§ Portée des quantificateurs
• Si Q est un quantificateur, x une variable et F une formule bien
formée, alors la portée de Qx est F
ñ Exemple : P px q ^ Dx pP px , y q ^ @y Q px , y q _ R px , y qq
Damien Nouvel (INaLCO) Logique des prédicats 6
Histoire et définitions
Liaison de variables
Liaison de variables
Liaison de variables
Liaison de variables
Exercices
Plan
1. Histoire et définitions
2. Manipulation de formules
Substitution
§ Substitution de variables
• Remplacement d’une variable par une expression
• Notation : pour une proposition A remplacer x par B se note Arx {B s
ñ Exemple : @x DyP px , y qrx {z s@z DyP pz , y q
ñ Utile pour la mise sous forme prénexe et skolémisation, lorsque
deux sous fomules ont les mêmes variables
§ Ordre des quantificateurs peut être modifié
• @x @y ” @y @x
• Dx Dy ” D y Dx
• Attention : @x Dy ı Dy @x
Exercices