Buy Me a Coffee at ko-fi.com

Second-order predicate

predicate that takes a first-order predicate as an argument

Pronunciation
/sɪˈkɒnd - ˈɔːdə ˈprɛdɪkət/
/ˈsɛkənd - ˈɔrdər ˈprɛdəˌkeɪt/
Categories
predicate