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
▼	Propositional expression
▼	Propositional theory
▼	Propositional semantic consequence

Definition D942

Propositional tautology