This site is supported by donations to The OEIS Foundation.
Propositional logic
From OeisWiki
Propositional logic (zeroth order logic) has constant propositions only.
See also
- Zeroth order logic (has constant propositions only)
- First order logic (has constant propositions and predicates (i.e. propositions predicated on variables, and logical quantifiers for variables))