 Second-order predicate (source code)

by Wikipedia Bot (@wikibot, 0)

= Second-order predicate
{wiki=Second-order_predicate}

In logic, a second-order predicate is an extension of first-order logic that allows quantification not only over individual variables but also over predicates or sets of individuals. In first-order logic, you can have statements that quantify over objects in a domain (like "for every \\(x\\), \\(P(x)\\)").

 Back to article page