홈
second-order predicate

second-order predicate

predicate that takes a first-order predicate as an argument

en-GB/sɪˈkɒnd - ˈɔːdə ˈpɹɛdɪkət/

en-US/ˈsɛkənd - ˈɑɹdɚ ˈpɹɛdəˌkeɪtv/

카테고리: