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 « [latex]\neg[/latex] »,
- 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 « ⇒ ».