ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Propositional connective
▼ Set of propositional connectives
▼ Complete set of propositional connectives
▼ Set of propositional symbols
▼ Propositional symbol
▼ Propositional string
Definition D2966
Propositional expression