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 « ⇒ ».