Buy Me a Coffee at ko-fi.com

First-order predicate

predicate that takes only individual(s) constants or variables as argument(s)

Pronunciation

/fəːst - ˈɔːdə ˈprɛdɪkət/

/fərst - ˈɔrdər ˈprɛdəˌkeɪt/

Categories

predicate