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