홈
first-order predicate

first-order predicate

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

en-GB/ˈfɜːst - ˈɔːdə ˈpɹɛdɪkət/

en-US/ˈfɝst - ˈɑɹdɚ ˈpɹɛdəˌkeɪtv/

카테고리: