술어

술어(述語) 혹은 명제(predicate)는 다음을 가리킨다.

언어학 
'서술어'라고도 하며 문장 구성의 기본 골격이 되는 요소로서, 주어의 동작·상태·성질 따위를 서술하는 말을 가리킨다.

 서술어
 파싱 기술의 통사적 술어(형식 문법)

논리학 
술어(述語)는 예컨대 'A는 B이다'나 'A는 B가 아니다'라는 판단에서 'B'를 술어라고 한다. predicate의 머리문자를 따서 기호 P로 나타낸다.

 함수적 술어(functional predicate) 혹은 함수 기호(function symbol)
 1차 논리의 기본적 개념인 술어
 양화사 없이 함자를 사용하는 술어 함자 논리학(Predicate Functor Logic: PFL)
 술어 논리
 술어 변수

같이 보기