This site is supported by donations to The OEIS Foundation.

Predicate logic

From OeisWiki
(Redirected from First order logic)
Jump to: navigation, search

This article page is a stub, please help by expanding it.

Predicate logic (first order logic) has predicates, i.e. propositions predicated on variables, and logical quantifiers for variables.

See also