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

▼	Set of symbols
▼	Propositional connective
▼	Set of propositional connectives
▼	Complete set of propositional connectives

Definition D927

Set of propositional symbols

Also known as

Set of sentential symbols