19 01-2016

TP : autre salle que d’habitude ? ?
Dispos....
MAT1500 1 of 35

Rappel.
Soit Pet Qdeux formules logiques qui dépendent de propositions
logiques p,q,r, . . ..
On dit que Pet Qsont logiquement équivalentes si Pet Qont
toujours la même valeur de vérité, n’importe les valeurs de vérité
des composantes p,q,r, . . .. On écrit
P⇔Q
Avec les équivalences on a le droit de manipuler algébriquement
des formules logiques.
MAT1500 2 of 35

Aussi :
Il faut adopter les notations du cours ! Exemples :
Il faut utiliser ¬p(et pas p).
Et Vraie (ou V) et Fausse (ou F) (et pas 1 et 0).
Et ⇔(et pas ≡).
Et pas confondre ⇔et ↔.
Et pas confondre ∨et ∪, ou ∧et ∩.
Et ⇒n’est pas défini encore, donc éviter d’utiliser.
MAT1500 3 of 35

A propos des (et ).
Nous avons montré l’associativité :
p∨(q∨r)⇔(p∨q)∨r.
Logiquement il n’y a pas de confusion possible : on a le droit
d’écrire p∨q∨r.
Aussi p∧q∧rest sans ambiguité.
MAT1500 4 of 35

Mais p∨q∧rest ambigue !
Parce que
(p∨q)∧r
ou
p∨(q∧r)
sont deux choses logiquement différentes (non-équivalentes).
Nous ne posons pas de convention de priorité entre ∨et ∧!
Il faut continuer d’utiliser les (,)dans ce cours !
MAT1500 5 of 35