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 ?
In her textbook for a course introducing mathematical proofs, Lakins initially presents only enough logic for students to be able to work with the propositional connectives and the quantifiers, then focuses on getting students writing proofs as early as possible.
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.