connecteur

connecteur

En logique mathématique, symbole utilisé pour créer de nouvelles propositions à partir de propositions données ou de nouvelles formes propositionnelles à partir de formes propositionnelles données.

Symboles

Les principaux connecteurs utilisés en logique mathématique sont :

  • le connecteur de la conjonction « et » est symbolisé par « ∧ »,
  • le connecteur de la disjonction « ou » est symbolisé par « ∨ »,
  • le connecteur de la négation « non » est symbolisé par « \(\neg\) »,
  • le connecteur de la conditionnelle « si … alors… » ou « implique » est symbolisé par « → »,
  • le connecteur de la biconditionnelle  « équivaut à » est symbolisé par « ↔ »,
  • le connecteur de l’identité ou équivalence  « si et seulement si » est symbolisé par « ⇔ »,
  • le connecteur de l’implication « entraîne » est symbolisé par « ⇒ ».