propositional connectives

propositional connectives

[‚prä·pə¦zish·ənəl kə′nek·tivz]
(mathematics)
The symbols ∼, ∧, ∨, → or ⊃, and ↔ or ≡, denoting logical relations that may be expressed by the phrases “it is not the case that,” “and,” “or,” “if … , then,” and “if and only if.” Also known as sentential connectives.
References in periodicals archive ?
Indeed, The Connectives is nearly 1,500 pages of densely packed rumination over, well, the propositional connectives.
The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic.