connecteur [latin : connectere, lier ensemble]

Mot ou symbole permettant de composer une nouvelle proposition à partir d'une ou plusieurs propositions, la valeur de vérité (vrai ou faux) de la nouvelle proposition dépendant de la valeur de vérité des propositions initiales.

Les principaux connecteurs sont : ¬ (non), ∧ (et), ∨ (ou), ⇒ (implique), ⇔ (équivalent).