Académique Documents
Professionnel Documents
Culture Documents
Aristote a défini ainsi le concept de proposition : "... tout discours n'est pas une
proposition, mais seulement le discours dans lequel réside le vrai ou le faux, ce
qui n'arrive pas dans tous les cas : ainsi la prière est un discours, mais elle n'est
ni vraie ni fausse (Ibid, 17a5).
1.1 - Sa syntaxe
Pour étudier la syntaxe d'un langage il faut donner un alphabet (un ensemble de
symboles) et des règles de constructions syntaxiques d'expressions à partir de
ces symboles.
L'alphabet
NB : Par convention pour ce cours on notera les atomes avec les majuscules de
l'alphabet latin, et les concaténations de telles lettres){A, B, Z, Ai,...}
A B C D E doit se lire (((A ( B)) C) (D E))
Exercice d’application 1:
Définition :
si F G et G F, on écrit alors F G, le symbole "" se lit "est équivalent à".
Soient A, B et C des formules bien formées.
1. Implication matérielle
AB A B
2. Equivalence matérielle
AB (A B) (B A)
3. Commutativité
a) A B B A
b) A B B A
4. Associativité
a) (A B) C A (B C)
b) (AB) C A (BC)
2
5. Distributivité
a) A (BC) (A B) (A C)
b) A (B C) (A B) (A C)
6. Interprétation avec VRAI
a) A V V
b) A V A
7. Interprétation avec FAUX
a) A F A
b) A F F
8. Complémentarité
a) A A V
b) A A F
9. Involution
((A)) A
10. Lois de de Morgan
a) (AB) (A) (B)
b) (A B) (A) (B)
11. Produit
a) A ((A) B) A B
b) A ((A) B) A B
12. Identité
a) A A A
b) A A A
V F F F V F F
F V V F V V F
F F V F F V V
Exercice d’application :
3
1.4 Notions de clause
Une clause est une fbf qui a la forme d'une disjonction de littéraux
Exemple de clauses :
A B C D CLAUSE
D CLAUSE
Exemples :
S'il existe une déduction de la clause vide à partir de S alors S est insatisfiable
On appelle réfutation la déduction de la clause vide Ø à partir de S
Montrer qu'une formule bien formée F est valide :
C'est équivalent à montrer queF est inconsistante
C'est aussi équivalent à monter que SF insatisfiable
C'est aussi équivalent à monter qu'il existe une déduction de la clause
vide Ø
Algorithme de résolution
Début
Ecrire la négation de F ;
Mettre F sous forme d'un ensemble de clauses ;
Tant que la clause vide n'est pas rencontrée et qu'il existe des paires
réductibles faire
Chercher des clauses résolvantes ;
Ajouter ce résultat à la liste des clauses ;
Fin tant que ;
Si on trouve la clause vide alors F est valide sinon F est invalide Fin si ;
Fin ;
Exemple 1
5
SF est l'ensemble des clauses d'une fbf F. Montrons que cet ensemble
est insatisfiable
Exemple 2 SOULUTION 1
Soit SF = {P Q, Q T, T R, R, P R, Q S, P S}
C1 C2 C3 C4 C5 C6 C7
SF est l'ensemble des clauses d'une fbf F. Montrons que cet ensemble
est insatisfiable
C1 = P Q C6 = P T
C2 = Q T
C7 = P R C8 = P
C4 = R
C8 = P C9 = R
C5 = P R
C9 = R C10 = Ø
C4 = R
Exemple SOLUTION 2
6
C5 = P R C6 = P
C4 = R
C6 = P C7 = Q
C1 = P Q
C7 = Q C8 = T
C2 = Q T
C8 = T C9 = R
C5 = T R
C9 = R C10 = Ø
C4 =R
Remarquons qu'une clause peut être utilisée plusieurs fois et que des clauses
peuvent ne pas être utilisées pour déduire la clause vide
Exercice d’application 3
7
2.3 - Le conditionnel 2.4 - L'équivalence
P Q peut traduire :
si P alors Q P Q peut se traduire :
P condition suffisante de Q P si et seulement si Q
Q condition nécessaire de P P si Q et Q si P
P alors Q P condition nécessaire et suffisante de
Q si P Q
Q lorsque P
P seulement si Q
Q pourvu que P
Conclusion
Par contre, il a faim et il mange n'est pas semblable à il mange et il a faim car le
"et" a une connotation de causalité et de temps.
La porte est ouverte ou la porte est fermée. Le "ou" du français est parfois
Exclusif La traduction est en général liée au contexte. Il peut aussi exister
plusieurs traductions possibles.
Ensuite, pour chacune des phrases je vais écrire une formule bien formée à
l'aide des propositions définies ci-dessus, des connecteurs et des parenthèses.