First-order predicate

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s).[1] Compare second-order predicate and higher-order predicate.

See also

References

  1. ↑ Lua error in package.lua at line 80: module 'strict' not found..


<templatestyles src="Asbox/styles.css"></templatestyles>

Stub icon

This logic-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=First-order_predicate&oldid=7162"