Page 14 - course1-19-21_Neat
P. 14

Alg`bre I -
    e
   Logique et
   Raisonne-
    ments
             Proposition
    Patrick
  RABARISON
             Les trois formules logiques
                    ”(P ⇒ Q)”, ”(¬Q) ⇒ (¬P)” et ”(¬P) ∨ Q”

             sont logiquement ´quivalentes.
                             e
             D´monstration.
              e
                                          e
             Il suffit de faire la table de verit´s. (suivre au tableau).






                                         e
                        Patrick RABARISON  Alg`bre I - Logique et Raisonnements
   9   10   11   12   13   14   15