Keywords

#first-order_predicate

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.

Mon 13th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

First-order logic First-order predicate Second-order predicate Predicate (mathematical logic) Law of thought Second-order logic First-order Rule of inference Predicate variable Monadic predicate calculus
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.