This site is supported by donations to The OEIS Foundation.
Predicate logic
From OeisWiki
(Redirected from First order logic)
There are no approved revisions of this page, so it may not have been
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)
