#second-order_predicate

Second-order predicate

Aspect of mathematical logic

In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate.

Fri 4th

Provided by Wikipedia

Learn More
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.