술어

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

언어학

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

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

논리학

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

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

이 문서에는 다음커뮤니케이션(현 카카오)에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 내용을 기초로 작성된 글이 포함되어 있습니다.

같이 보기

• 제목에 "술어" 항목을 포함한 모든 문서