Page 13 - course1-19-21_Neat

Formule logiquement ´quivalente
e

e
Alg`bre I -
Logique et
Raisonne-
ments
Patrick
e
RABARISON D´finition
Deux formules logiques P et Q sont appel´es logiquement
e
´quivalente ssi la proposition logique P ⇔ Q est une tautologie.
e
Exemple
(P ⇔ Q) et [(P ⇒ Q) ∧ (Q ⇒ P)] sont logiquement
´quivalents.
e
Faire la preuve.

e
Patrick RABARISON Alg`bre I - Logique et Raisonnements