ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols

Definition D3565

Propositional connective