First-order predicate
Encyclopedia
A first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate
and higher-order predicate.
Second-order predicate
In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate....
and higher-order predicate.
See also
- First-order predicate calculus
- Monadic predicate calculusMonadic predicate calculusIn logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic , and there are no function letters...