First-order predicate
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate. This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
Wikipage disambiguates
Wikipage redirect
primaryTopic
First-order predicate
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate. This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
has abstract
In mathematical logic, a first ...... of" is a two-place predicate.
@en
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
772,185,084
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
In mathematical logic, a first ...... of" is a two-place predicate.
@en
label
First-order predicate
@en