술어
술어(述語) 혹은 명제(predicate)는 다음을 가리킨다.
언어학
[편집]'서술어'라고도 하며 문장 구성의 기본 골격이 되는 요소로서, 주어의 동작·상태·성질 따위를 서술하는 말을 가리킨다.
논리학
[편집]술어(述語)는 예컨대 'A는 B이다'나 'A는 B가 아니다'라는 판단에서 'B'를 술어라고 한다. predicate의 머리문자를 따서 기호 P로 나타낸다.
- 함수적 술어(functional predicate) 혹은 함수 기호(function symbol)
- 1차 논리의 기본적 개념인 술어
- 양화사 없이 함자를 사용하는 술어 함자 논리학(Predicate Functor Logic: PFL)
- 술어 논리
- 술어 변수
같이 보기
[편집]  |
이 문서는 명칭은 같지만 대상이 다를 때에 쓰이는 동음이의어 문서입니다. 어떤 링크가 이 문서를 가리키고 있다면, 그 링크를 알맞게 고쳐 주세요. |