1차 술어
First-order predicate수학 논리학에서 1차 술어는 개별 상수나 변수만 인수로 삼는 술어다.[1]2차 술어와 고차 술어를 비교해 보십시오.
이것은 단 하나의 주장만을 취하는 단위의 술어 또는 모나드와 혼동해서는 안 된다.예를 들어 행성이라는 표현은 1위 술어인 반면 아버지라는 표현은 2위 술어인 셈이다.
참고 항목
참조
- ^ Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230.
