Logical Connective

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic operator in a formal language that combines or modifies formulae to produce new formulae; in propositional logic common logical connectives include ¬ (negation), ∧ (conjunction), ∨ (disjunction), → (implication), and ↔ (biconditional).