Logiques Formelles: Plan Du Cours

Logiques formelles
Elaboré par Mme Elkamel Hager

Jamoussi.hager@gmail.com
FSM de Monastir 2023-2024

1ere année Licence en Sciences de l’Informatique
Logique Formelle LSI1 23-24 H. Jamoussi Elkamel
Plan du cours
3
Chapitre 1 : introduction à la Logique

Partie I : la logique de propositions
Chapitre 2 : Syntaxe de la logique de propositions
Chapitre 3 : Sémantique de la logique de propositions
Chapitre 4: Systèmes de preuve dans la logique de propositions
Partie II : la logique de prédicats du premier ordre

Chapitre 5: Syntaxe de la logique de prédicats du premier ordre
Chapitre 6: Sémantique de la logique de prédicats du premier
ordre
Chapitre 7 : Systèmes de preuve dans logique de prédicats du
premier ordre
1
Chapitre 3 : théorie des modèles
Sémantique de la logique
propositionnelle
Plan du chapitre 3
Introduction
1. Sémantique de connecteurs usuels
2. valuation
3. interprétation d’une formule
3.1 Interprétation d’une formule par récurrence
3.2 Interprétation d’une formule par arbre sémantique
3.3 Interprétation d’une formule par table de vérité
4. Tautologies. Formules équivalentes
4.1 formule satisfaisable, notion de modèle
4.2 tautologies et formules inconsistantes
4.3 Formules logiquement équivalentes
5. Formes normales
5.1 Formes normales conjonctives
5.2 Formes normales disjonctives
5.3 Transformation d'une formule en une forme normale
5.4 Simplification d’une forme normale conjonctive
5.5 Simplification d’une forme normale disjonctive
6. Conséquence logique
H. Jamoussi Elkamel 4
Logique Formelle LSI1 23-24
2
Introduction
• La théorie de modèle a pour but d’établir un mécanisme

sémantique d’évaluation des formules
• Donner une sémantique à un langage formel consiste à
définir une fonction (au sens mathématique) qui est
capable d’associer à toute formule bien formée un
«sens».
• Le sens d’une formule sera simplement une valeur de
vérité (vrai ou faux).
Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 5
Introduction
Définir la sémantique de la logique des propositions
consiste à
1. Donner un sens aux éléments atomiques du langage:
• les variables propositionnelles
• et les connecteurs
2. Donner une méthode de calcul pour calculer le sens de

toute formule complexe à partir du sens des constituants
plus simples.
3
• Formellement, on considère les fonctions

o NON définie de { v, f } dans {v, f }
o ET de { v, f }2 dans { v, f }
o OU de{ v, f }2 dans { v, f }
• L'opérateur ET correspond au symbole 

• L'opérateur OU correspond au symbole 
• L'opérateur NON correspond au symbole 
Remarque: f pour dire faux et v pour dire vrai

• Table de vérité correspondent aux fonctions NON, ET et

OU
x y ET(x,y) OU(x,y) x NON(x)

f v
f f f f
f v f
f v v
v f f v
v v v v
4
2. Valuation
Définition 1:
• Une valuation V est une fonction de l'ensemble des

variables propositionnelles P ={ p, q, r, ...} dans
l’ensemble {f, v}.
V :P {f, v}
p V(p)
• Une valuation
o distribue de valeurs de vérité sur l'ensemble des variables
propositionnelles (atomes)
o et permet de déterminer la valeur de vérité correspondante
d'une formule.
3. Interprétation d'une formule
Définition 2 : Interprétation d'une formule

• Soit F une formule et x1, x2, ... , xn les variables
propositionnelles (atomes) qui apparaissent dans F.
Une interprétation I de F est l'affectation de valeurs de

vérité à x1, x2, ... , xn. F peut être vrai ou faux pour une
interprétation donnée.
Remarques:
1) Pour n atomes, il existe 2n interprétations.
2) Une interprétation I est un prolongement d’une
valuation V
5
Exemples
Exemple 1 :
Soit la valuation V définie par :
V (p) = f
V (q) = f
et V (r) = v
La valeur de la formule
F2 = ( ( p  q)  ( q  r) )
pour la valuation V est égale à v.
Exemples
Exemple 2
soit F1 = ( ( p  q)  (r  s))
F1 possède 16 interprétations possibles qui peuvent être

calculées par l'intermédiaire d'une table de vérité.
6
3.1. Interprétation d'une formule par récurrence
L’interprétation d'une Formule F est donnée par récurrence
I(p) Si F = p et p étant une

variable propositionnelle
NON(Val(F1, I)) Si F = F1
Val(F, I) = OU(Val(F1, I), Val(F2, I)) Si F = (F1  F2 )
ET(Val(F1, I), Val(F2, I)) Si F = (F1  F2 )
OU(NON(Val(F1, I)), Val(F2, I)) Si F = (F1  F2 )

ET(Val(F1  F2, I), Val(F2  F1, I)) Si F = (F1  F2 )
I : interprétation ou assignation (ou valuation ou affectation) des

variables propositionnelles
Exemple
Soit la formule F = (  (p   q )  ( q   r) )
et l'interprétation I telle que : I(p) = v , I(q) = f , I(r) = v
On calcule Val(F, I) de proche en proche :
– Val( q, I) = NON(Val(q, I)) = NON( I(q)) = v
– Val( r, I) = NON(Val(r, I)) = NON( I(r)) = f
– Val(  (p   q) , I) = NON( Val( (p   q ), I) )
=NON( OU ( Val(p, I), Val( q, I)) )
=NON( OU ( I(p), NON (I(q)) ) )
= NON( OU(v, v) ) = f
– Val( (q   r ) , I) = OU( Val( q , I), Val( r, I) )
= OU ( I(q), NON(I(r) )
= OU( f, f) ) = f
– Val( F, I) = OU(Val(  (p   q) , I) , Val( (q   r ) , I)) = f
7
Remarque
I est une interprétation , F, F1 et F2 deux formules on a :

Val(F, I) = v si et seulement si
• F = p et p étant atome et I(p) = v
• F = F1 et Val (F1 ,I) = f
• F = (F1  F2 ) et Val (F1, I) = v ou Val(F2, I) = v
• F = (F1  F2 ) et Val (F1, I) = v et Val(F2, I) = v
• F = (F1  F2 ) et Val (F1, I) = f ou Val(F2, I) = v
• F = (F1  F2 ) et Val (F1, I) = Val(F2, I)
– 15
3.2 Interprétation d'une formule par Arbre sémantique

• Le calcul de la valeur d'une formule peut s'effectuer également sur
l'arbre de décomposition (arbre syntaxie) associé en attribuant ainsi
une nouvelle étiquette aux nœuds de l'arbre:
– Toute feuille étiquetée une variable p est étiquetée par I(p).
– Si un nœud na est étiqueté par  et son successeur par x, alors la nouvelle
étiquette de na est NON(x).
– Si un nœud na est étiqueté par  (respectivement par ) et ses successeurs par x
et y, alors la nouvelle étiquette de na est ET(x, y) (respectivement OU(x, y)).
– Si un nœud na est étiqueté par  et ses successeurs par x et y, alors la nouvelle
étiquette de na est OU(NON(x),y).
– Si un nœud na est étiqueté par  et ses successeurs par x et y, alors la nouvelle
étiquette de na est ET( OU(NON(x),y), OU(NON(y), x ) )
La valeur de la formule est donnée par l'étiquette de la racine.
• Le nouveau arbre est l’arbre sémantique de la formule
8
Donner la valeur, en utilisant l’arbre sémantique de la formule
F = (  (p   q )  ( q   r) )
pour l'interprétation I définie par :

I(p) = v
I(q) = f
I(r) = v
I(p) = v I(q) = f I(r) = v

f

 f
 f
q  f f
 v
r v
p  v v
q f
Arbre syntaxique Arbre sémantique
9
3.3. Interprétation d'une formule par la Table de vérité
• La table de vérité d’une formule F donne la valeur de F

pour chaque affectation (valuation) de variables
propositionnelles.
Exemple 1
p q F1=(p q) p q F2=(p q)
f f v f f v
f v v f v f
v f f v f f
v v v v v v
table de vérité de F1 = ( p  q) table de vérité de F2= ( p  q)
• Exemple 2 : Table de vérité de la formule

F3 = ( (p   q )  ( r  ( p  r) ) )
p q r q pq p  r  p   r (r  ( p r) F3
I0 f f f v v v v v v v
I1 f f v v v v f f v v
I2 f v f f f v v v v f
I3 f v v f f v f f v f
I4 v f f v v f v f f f
I5 v f v v v f f f v v
I6 v v f f v f v f f f
I7 v v v f v f f f v v
10
• Exemple 3 :
F4 = ( (p   q )  ( r  ( p   r) ) )
p q r
p q r  q p   q p r p  r r  ( pr) F4
f f f v v v v v v v
f f v v v v f f v v
f v f f v v v v v v
f v v f v v f f v v
v f f v v f v f f f
v f v v v f f v v v
v v f f f f v f f f
v v v f f f f v v f
4. Tautologies. Formules équivalentes
L'interprétation des formules permet de les classer

• deux formules possédant toujours la même
interprétation seront regroupées dans la même classe
(formules logiquement équivalentes).
• Une classe particulièrement intéressante est constituée par

les formules qui prennent toujours la valeur vrai
(tautologie).
11
4.1 formule satisfiable, notion de modèle
Définition 3 :
- Une formule F est satisfaite par une interprétation I
si I(F) = v,
On dit que I est un modèle pour F.
- Une formule F est satisfiable (consistante),

s’il existe une interprétation I tel que I est un modèle de F.
- Une interprétation I est un contre modèle de F est si I(F) = f .
4.2 Tautologies et formules inconsistantes
Définition 4 :
- Une tautologie (ou formule valide) est une formule

satisfaite pour toute interprétation.
on utilise la (méta)-notation
|= F pour indiquer que F est une tautologie.
- Une formule F est inconsistante (ou contradiction ou

contingente )
si I(F) = f pour toute interprétation I.
12
4.2 Tautologies et formules inconsistantes
Exemple
• G = ( ((p  q)  p)  q ) est une formule qui est toujours
vraie. G est dite valide ou tautologie.
• G1= ((p  q)  p) est satisfiable mais non valide
• G2 = ( (p  q)  (p   q ) ) est une formule toujours
fausse. Dans ce cas G1 est dite inconsistante.
p q p q G1=(pq) p G=((pq)p)q q pq G2=(pq) (pq)
f f v f v v f f
f v v f v f f f
v f f f v v v f
v v v v v f f f
4.2 Tautologies et formules inconstantes
Théorème :
• Une formule F est valide si et seulement si sa négation est
inconsistante.
Démonstration du théorème :
F est valide ssi pour toute interprétation I , I(F) = v
ssi pour toute interprétation I , I(F) = f
ssi F est inconsistante.
13
Exemples
a) (faux  q)
Tautologie
b) ( (p  p)  ( p  p) )
inconsistante
c) ( (p  p)  p )
tautologie
d) ( (p  q)  (q  p) )
satisfiable et invalide
Exemples de tautologies
Les formules suivantes sont des exemples de tautologies :

(p  p) ( p  (p  q) )
( q  (p  q) )
(p  p )
 (p  p ) ( (p  q)  (p  q) )
( (p  q)  p )
( (p  q)  q )
(p  (q  p))
( (p  (q  r) )  ( (p  q)  (p  r) ) )
( (p  q)  ( (p  q)  p ) )
14
Définition 5 :
- Deux formules F et G sont dites logiquement
équivalentes si pour toute interprétation I, I(F) = I(G).
Et on note F ≡ G
(Cette notation n’est pas une notation du langage mais du métalangage )
Théorème
Deux formules F et G sont dites logiquement équivalentes
si et seulement si la formule (F  G ) est une tautologie

Les couples de formules suivantes sont des exemples de formules
équivalentes:
• Élément absorbant
(p  faux ) et faux inconsistante
(p  vrai) et vrai tautologie
• élément neutre
(p  vrai) et p
(p  faux ) et p
• idempotence
(p  p) et p
(p  p) et p
15
• Complémentarité
(p   p) et faux inconsistante
(p   p) et vrai tautologie
• Commutativité
(p  q) et (q  p)
(p  q) et (q  p)
• Associativité
(p  (q  r)) et ( (p  q )  r) ≡ ( p  q  r)
(p  (q  r)) et ( (p  q )  r) ≡ ( p  q  r)
• Distributivité
(p  (q  r)) et ( (p  q )  ( p  r))
(p  (q  r)) et ( (p  q )  ( p  r))
• involution
p et p
• loi de morgan
 (p  q) et ( p   q)
 (p  q) et ( p   q)
• absorption
(p  (p  q)) et p
(p  (p  q)) et p
(p  (p  q)) et (p q)

(p  (p  q)) et ( pq)
16
• Implication matérielle
(p  q) et ( p  q)
 (p  q) et ( p   q)
• contraposition
(p  q) et ( q   p)
• Equivalence matérielle
(p  q) et ((p  q)  (q  p))
(p  q) et ( (p  q)  ( p   q) )
4.3.2 Règle de remplacement
Règle de remplacement
Soit α une sous-formule de F. Si α ≡ β, alors
(1) le remplacement de α par β dans F donne une formule
G équivalente à F
et (2) si F est une tautologie, alors G l’est aussi.
• Ce principe nous dit que l’on ne change pas la valeur de

vérité d’une formule en remplaçant une sous-formule par
une (sous-) formule équivalente.
• Ce principe nous permet de produire de démonstration au sens
mathématique
17
Exemple 1
• Si l’on sait que

(p → q) ≡ ¬ (p ∧ ¬q)
alors on peut conclure que
( ( (p → q) ∧ p) → q ) ≡ ( (¬(p ∧ ¬q) ∧ p) → q )
Les deux nouvelles formules sont équivalentes.
Exemple 2
si l’on sait que

( ( (p → q) ∧ q)  (q ∧ (p → q)) ) est une tautologie,
et
(p → q) ≡ ¬ (p ∧ ¬q)
alors on peut conclure que

( (¬(p ∧ ¬q) ∧ q)  (q ∧ (p → q)) ) est une tautologie
18
4.3.1 Règle de substitution
Règle de substitution
Le résultat de substituer une même formule (atomique ou

non) à toutes les occurrences de la même variable dans une
tautologie, est une tautologie.
4.3.1 Règle de substitution

Exemple On sait que
( (p ∧ q)  (q ∧ p) ) est une tautologie
la substitution de toutes les occurrences de p par (p  q)

( ( (p  q) ∧ q)  (q ∧ (p  q) )) est une tautologie
Ce principe nous permet donc de « découvrir » de nouvelles

équivalences, sans passer par le calcul des valeurs de
vérités.
19
5. Formes normales
• Toute formule peut être transformée en une formule

équivalente particulière sous la forme normale.
• Il existe deux formes normales

– Forme Normale Conjonctive FNC
– Forme Normale Disjonctive FND
• La forme normale conjonctive (clausale) qui s'en déduit

aisément, sera utilisée pour introduire une méthode de
démonstration automatique.
5. Formes normales
Définition 6 :
• Un littéral est un atome ou la négation d'un atome.
• Une Clause est l’union de littéraux (un ou plusieurs).
• Un Cube est la conjonction de littéraux (un ou

plusieurs)
Exemple
p, q, r,  p,  q,  r sont des littéraux
(p   q  r) , (  p  q),  q sont des clauses
(p   q  r) , (  p  q) ,  q sont des cubes
20
5. 1 Forme normale conjonctive
Définition 7 :
• Une formule F est dite forme normale conjonctive
(forme clausale) si et seulement si F a la forme
F = F1  F2  .....  Fn ( n  1)
où chaque Fi est une clause (union de littéraux ).
Exemple :
• Soient p, q, r trois atomes et F = (p   q  r)  (  p  q)
Alors F = F1  F2
avec F1 = (p   q  r)
F2 = ( p  q)
Comme F1 et F2 sont deux clauses donc F est sous forme
normale conjonctive.
5.2 Forme normale disjonctive
Définition 8:
• Une formule F est dite forme normale disjonctive si et
seulement si F a la forme
F = F1  F2  .....  Fn n 1
où chaque Fi est un cube (une conjonction de littéraux ).
Exemple :
• Soient p, q, r trois atomes et F = ( p  q )  ( p   q   r)
Alors F = F1  F2
avec F1 = ( p  q )
F2 = ( p   q   r) F1 et F2 sont deux cubes
F est sous forme normale disjonctive.
21
• Pour transformer une formule en sa forme normale nous
pouvons utiliser les règles suivantes :
• Elimination des connecteurs  et  à l'aide des équivalences :
R1: (F  G)  (F  G)  (G  F)
R2: (F  G)  ( F  G)
• Entrée des négations le plus à l'intérieur possible :
R3:   F  F
R4:  (F  G )  ( F   G)
R5:  (F  G )  ( F   G)
• Utilisation des distributivités de  et  l'un par rapport à l'autre :
R6: (F  (G  H) )  ( (F  G)  (F  H) )
R7: (F  (G  H) )  ( (F  G)  (F  H) )
Exemple :
• Mettre la formule ((p   q)  r) sous forme normale disjonctive.
La formule est transformée par équivalences successives :
((p   q)  r)  R2 ( (p   q)  r )
 R4 (( p    q)  r )
 R3 (( p  q)  r )
 F1 F2 FND
avec F1 et F2 sont des cubes
22
4.2.3 Transformation d'une formule en une forme normale
Exemple :
• Mettre la formule ( (p  (q  r) ) s) sous forme normale conjonctive
(p  (q  r) )  s  R2 ( p  ( q  r) ) s
 R2  ( p  ( q  r))  s
 R5 ( p   ( q  r) )  s
 R4 (  p  (  q   r) )  s
 R3 (  p  (q   r) ) s FND
 R6 ((  p  q)  ( p   r) )  s
 R6 ( s  (  p  q))  ( s  ( p   r) )
 ( s   p  q)  ( s   p   r) FNC
 F1 F2
5.4 Simplification des formes normales conjonctives

Les règles de simplification d’une formule en FNC sont les suivantes :
1. Supprimer les répétitions de littéraux au sien d’une même clause :

(  p  q   p)  ( r   p)  (  p  q)  ( r   p)
2. Les clauses valides (contiennent une paire complémentaire des

littéraux) peuvent être supprimées :
(  p  q  p)  ( r   p)  ( r   p)
3. Une clause contenant une autre clause peut être supprimée :

( r  q   p)  ( p  r )  (  p  r )
23
5.5 Simplification des formes normales disjonctives
Les règles de simplification d’une formule en FND sont les suivantes :
1. Supprimer les répétitions de littéraux au sien d’un même cube :

(  p  q   p)  ( r   p)  (  p  q)  ( r   p)
2. Les cubes inconsistants (contiennent une paire complémentaire des

littéraux) peuvent être supprimés :
(  p  q  p)  ( r   p)  ( r  p)
3. Un cube contenant un autre cube peut être supprimé :

( r  q   p)  (  p  r )  (  p  r )
Remarques
• Une forme normale conjonctive est valide si et seulement si toutes

ses clauses sont valides.
• Une forme normale disjonctive est inconsistante si et seulement si

touts ses cubes sont inconsistants.
24
Exercices
EXERCICE 7:
Exprimer les formules suivantes sous forme normale Conjonctive et
Disjonctive :
F1=( (p  q)  (r  q) )
F2= ( ( ( (p  (s  q) )  r)   q )  p )
F3= (  (p   (q  s))  (p  (q  r)) )
• Du point de vue sémantique, l’une des questions fondamentales
est de savoir si une formule (la conclusion) est conséquence
d’un ensemble donné de formules (les prémisses).
Définition 9 :
• Soit  un ensemble de formules et F une formule
La formule F est dite conséquence Logique de  si toute

interprétation qui satisfait toutes les formules de  à la fois,
satisfait aussi la formule F.
On écrit alors  |= F
25
Exemple
 La formule q est conséquence de l’ensemble {p, (p  q)}
• La seule valuation I qui satisfait les deux formules à la fois du

système {p, (p  q)} est
I(p) = v et I(q) = v.
Et cette valuation I satisfait aussi q ;

donc q est une conséquence logique de {p, (p  q)}.
Définition 10 :
• Un ensemble de formules  est dit satisfiable s’il existe une

interprétation I qui satisfait toutes les formules de  .
Exemple
L’ensemble des formules {p, (p  q),  q } n’est pas satisfiable.
26
Proposition 1 :
• Une formule F est conséquence de l’ensemble des formules  si et
seulement si l’ensemble  { F } n’est pas satisfaisable.
Théorème 2 :
• Soient F1 , F2 , ..... , Fn et G des formules .
G est dite conséquence logique de F1 , F2 , ..... , Fn si et seulement si
( (F1  F2  .....  Fn)  G ) est valide.
Théorème 3 :
La formule G est dite conséquence logique de F1 , F2 , ..... , Fn si et
seulement si ( (F1  F2  .....  Fn  G ) est inconsistante.
Proposition 1 :
• Une formule F est conséquence de l’ensemble des formules 

si et seulement si l’ensemble  { F } n’est pas satisfaisable.
27
Théorème 2 :

( (F1  F2  .....  Fn)  G ) est valide.
Théorème 3 :

( (F1  F2  .....  Fn   G ) est inconsistante.
28
Exemple
Exemple 16
soit le raisonnement suivant:
1) Si le taux d’intérêt augmente, le prix des stocks baisse.

2) et Si le prix des stocks baisse, la plupart des gens sont mécontents.
3) or Le taux d’intérêt augmente
4) donc La plupart des gens sont mécontents.
valider ce raisonnement dans la logique de propositions
Exemple
les propositions P : le taux d’intérêt augmente
S : le prix des stocks baisse
U : la plupart des gens sont mécontents
Les phrases 1, 2, 3 et 4 peuvent se traduire par des formules suivantes :

F1 = ( P  S )
F2 = ( S  U )
F3 = P
G = U
Nous proposons de montrer que
• G est vraie si ( F1  F2  F3 ) sont vraies c’est à dire
G est une conséquence logique de { F1, F2, F3}
29
Exemple
• Transformons (F1 F2 F3) en une forme normale conjonctive :
((P  S)  (S  U)  P)  R2 ( ( P  S)  (S  U))  P FNC

Simplification
((P  S)  (S  U)  P)  (P  (P S))  (S  U)
 ((P  P)  (P  S))  (S  U)
 (P  S)  (S  U)
 (P  S  S)  (P  S  U)
 (P  S  U)
cette formule est vrai si et seulement si P vrai, S vrai et U vrai

donc U est une conséquence logique de { F1, F2, F3 }.
Remarque :
• Si l’ensemble  est vide,
F est conséquence logique de  si et seulement si F est valide.
On peut donc voir la notation
Autrement dit, une formule est valide (tautologie) ssi elle est
conséquence logique de l’ensemble vide
30

Logiques Formelles: Plan Du Cours

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Logiques Formelles: Plan Du Cours

Transféré par

Droits d'auteur :

Formats disponibles

Logiques formelles

Elaboré par Mme Elkamel Hager

FSM de Monastir 2023-2024

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel

Chapitre 1 : introduction à la Logique

Partie II : la logique de prédicats du premier ordre

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel

• La théorie de modèle a pour but d’établir un mécanisme

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 5

2. Donner une méthode de calcul pour calculer le sens de

• Formellement, on considère les fonctions

• L'opérateur ET correspond au symbole 

Remarque: f pour dire faux et v pour dire vrai

1. Sémantique de connecteurs usuels

• Table de vérité correspondent aux fonctions NON, ET et

x y ET(x,y) OU(x,y) x NON(x)

• Une valuation V est une fonction de l'ensemble des

3. Interprétation d'une formule

Définition 2 : Interprétation d'une formule

Une interprétation I de F est l'affectation de valeurs de

pour la valuation V est égale à v.

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 11

F1 possède 16 interprétations possibles qui peuvent être

L’interprétation d'une Formule F est donnée par récurrence

I(p) Si F = p et p étant une

OU(NON(Val(F1, I)), Val(F2, I)) Si F = (F1  F2 )

I : interprétation ou assignation (ou valuation ou affectation) des

I est une interprétation , F, F1 et F2 deux formules on a :

• F = (F1  F2 ) et Val (F1, I) = f ou Val(F2, I) = v

• F = (F1  F2 ) et Val (F1, I) = Val(F2, I)

3.2 Interprétation d'une formule par Arbre sémantique

Donner la valeur, en utilisant l’arbre sémantique de la formule

pour l'interprétation I définie par :

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel

3.2 Interprétation d'une formule par Arbre sémantique

I(p) = v I(q) = f I(r) = v

• La table de vérité d’une formule F donne la valeur de F

table de vérité de F1 = ( p  q) table de vérité de F2= ( p  q)

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 19

3.3. Interprétation d'une formule par la Table de vérité

• Exemple 2 : Table de vérité de la formule

4. Tautologies. Formules équivalentes

L'interprétation des formules permet de les classer

• Une classe particulièrement intéressante est constituée par

- Une formule F est satisfiable (consistante),

- Une interprétation I est un contre modèle de F est si I(F) = f .

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 23

4.2 Tautologies et formules inconsistantes

- Une tautologie (ou formule valide) est une formule

- Une formule F est inconsistante (ou contradiction ou

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 25

4.2 Tautologies et formules inconstantes

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 27

Les formules suivantes sont des exemples de tautologies :

( (p  q)  ( (p  q)  p ) )

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 29

4.3 Formules logiquement équivalentes

4.3 Formules logiquement équivalentes

(p  (p  q)) et (p q)

Logique Formelle LSI1 23-24 H. Jamoussi Elkamel 33

4.3.2 Règle de remplacement

• Ce principe nous dit que l’on ne change pas la valeur de

• Si l’on sait que