Page "First-order predicate" Paragraph 0
from
Wikipedia
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.
Page 1 of 1.
1.794 seconds.