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

Calcul propositionnel



    e
   Alg`bre I -
                                       e
   Logique et  Le calcul propositionnel poss`de :
   Raisonne-
    ments
               1 une syntaxe : ordre dans lequel les symboles apparaissent.
    Patrick
  RABARISON    2 une s´emantique,une interpr´etation du sens d’un ensemble.
                 On a besoin des
             D´finition (Connecteurs logique)
              e
             Il existe 5 connecteurs logiques de base :
                 ∨ : la disjonction (ou)
                 ∧ : la conjonction (et)
                        e
                 ¬ : la n´gation (non)
                 ⇒ : l’implication (si . . . alors)

                 ⇐⇒ : l’ equivalence


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