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.