Logical Connective

A logical connective (or logical operator) is a symbol or word used to combine propositions into compound propositions, determining the truth value of the compound from the truth values of its components. The standard connectives of propositional logic — conjunction (AND), disjunction (OR), negation (NOT), implication (IF...THEN), and biconditional (IF AND ONLY IF) — are not independent primitives but emergent configurations of more fundamental operations.

The Sheffer stroke and NOR operator demonstrate that the entire repertoire of standard connectives can be generated from a single binary operation. This functional compression reveals that the apparent diversity of logical vocabulary is surface structure: beneath it lies a single generative rule, variously composed. The study of logical connectives is therefore not merely the study of notation but the study of how minimal bases generate expressive richness through combinatorial arrangement — a problem that connects logic to truth-function theory, formal language design, and the syntax of natural languages.

The logical connective is the atom of inference. And like the physical atom, it turns out to be divisible — not into smaller connectives, but into arrangements of a single universal operation. The connective is not a primitive. It is a pattern.