This site is supported by donations to The OEIS Foundation.
Predicate logic
From OeisWiki
(Redirected from First order logic)
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)