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 - ˈɔrdər ˈprɛdəˌkeɪt/
/sɪˈkɒnd - ˈɔːdə ˈprɛdɪkət/
Categories