A first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
Famous quotes containing the word predicate:
“The only thing that one really knows about human nature is that it changes. Change is the one quality we can predicate of it. The systems that fail are those that rely on the permanency of human nature, and not on its growth and development. The error of Louis XIV was that he thought human nature would always be the same. The result of his error was the French Revolution. It was an admirable result.”
—Oscar Wilde (1854–1900)