Un connecteur logique relie deux ou plusieurs propositions. Les principaux connecteurs sont :

• ¬p : Négation
• p ∧ q : Conjonction (et)
• p ∨ q : Disjonction (ou)
• p ⇒ q : Implication
• p ⇔ q : Équivalence