Les connecteurs logiques usuels sont : non, et, ou, ⇒ et ⇔.
Ils permettent de créer, à partir d'une (ou deux) proposition(s), un nouvelle proposition dont la valeur de vérité dépend des valeurs de vérité de la (ou des) propostion(s) la constituant.
La logique (du grec λόγος, logos), signifiant à la fois raison, langage, et raisonnement, est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte.
Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique.