Thormes d'quivalence

Dfinition
Deux fbfs F et G sont quivalentes si et seulement si les valeurs de
vrit de F et de G sont les mmes dans toute interprtation.
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 formes.
1. Implication matrielle
A B ~ A v B
2. Equivalence matrielle
A B ~ (A B) . (B A)
3. Commutativit
a) A v B ~ B v A
b) A . B ~ B . A
4. Associativit
a) (A v B) v C ~ A v (B v C)
b) (A . B) . C ~ A . (B . C)
5. Distributivit
a) A v (B . C) ~ (A v B) . (A v C)
b) A . (B v C) ~ (A . B) v (A . C)
6. a) A vV ~ V
b) A . V ~ A
7. a) A vF ~ A
b) A . F ~ F
8. Complmentarit
a) A v A ~ V
b) A . A ~ F
9. Involution
((A)) ~ A
10. Lois de de Morgan
a) (A v B) ~ (A) . (B)
b) (A . B) ~ (A) v (B)
11. a) A v ((A) . B) ~ A v B
b) A . ((A) v B) ~ A . B
12. Identit
a) A . A ~ A
b) A v A ~ A
On peut dmontrer que ces formules sont quivalentes en montrant
qu'elles ont les mmes valeurs dans toutes les interprtations. Un moyen
est donc de construire leur table de vrit.
On peut utiliser ces thormes d'quivalence pour transformer une
formule bien forme en une autre formule bien forme qui lui est
quivalente.
Cela va permettre de simplifier l'criture de formules bien formes.
Exercice
Entrainez-vous dvelopper la ngation en appliquant les lois de de
Morgan
a) ((A . (B v C)))
b) ([((A . B)v (D)) . E v F]
c) (((A) . B . ((C) v D) v (E) . F . (G)))
d) ((A v (B) v C) . ([(D)] v (E)) v (F) . G)
La correction est uniquement accessible sur Internet
Quelques notions classiques:
validit, insatisfiabilit, consquence, compltude
Validit
Une fbf A est une tautologie (valide) si et seulement si elle est vraie dans
toute interprtation; on crit alors : ,= A
A v A est une formule valide
Une fbf est invalide si et seulement si elle n'est pas valide
A . B et A v B sont deux formules invalides il suffit que A et B soient
fausses

Insatisfaisabilit
Une fbf est inconsistante ou insatisfiable si et seulement si elle est
fausse dans toute interprtation
A . A est une formule inconsistante
Une fbf A est consistante ou satisfiable
l si et seulement si elle n'est pas inconsistante
l si il existe une interprtation i telle que i[A] = V
l si elle admet un modle
A . B et A v B sont deux formules consistantes il suffit que A et B soient
vraies

Consquence logique
A est une consquence logique de E si et seulement si toutes les
interprtations qui rendent vraies toutes les formules de E rendent vraie
la formule A.
On crit alors E |= A
On dit qu'une formule C est une consquence logique de H1.. Hn
l si et seulement si tout modle de H1..Hn est un modle de C
l si et seulement si H1 . H2 . ... . Hn C est valide
Dans ce contexte les formules Hi sont les hypothses et C est la
conclusion.

Compltude
Thorme de compltude du calcul propsitionnel :
Pour toute formule A si ,= A alors , A
Autrement dit : toutes les tautologies sont des thormes.
4