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

Syntaxe du calcul propositionnel



    e
   Alg`bre I -
   Logique et
   Raisonne-
    ments
             D´finition (Formule bien form´e (fbf))
              e
                                        e
    Patrick
  RABARISON
                 e
             On d´finit une formule bien form´e par
                                           e
                 P, o`u P est une variable propositionnelle.
                 (P ∨ Q)
                 (P ∧ Q)
                 (¬P)
                 (P ⇒ Q) : si P alors Q.
                 (P ⇐⇒ Q) o`u P et Q sont des variables propositionnelles
                 ou des formules bien form´es.
                                         e




                        Patrick RABARISON  Alg`bre I - Logique et Raisonnements
                                         e
   1   2   3   4   5   6   7   8   9   10