Definitions from Wikipedia (First-order predicate)

▸ noun:  In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s)..


▸ Words similar to first-order predicate
▸ Usage examples for first-order predicate

▸ Idioms related to first-order predicate
▸ Wikipedia articles (New!)
▸ Words that often appear near first-order predicate
▸ Rhymes of first-order predicate

▸ Invented words related to first-order predicate