Connecteur Logique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un opérateur syntaxique dans une langue formelle qui combine ou modifie des formules pour en produire de nouvelles ; en logique propositionnelle les connecteurs logiques courants incluent ¬ (négation), ∧ (conjonction), ∨ (disjonction), → (implication) et ↔ (équivalence).