1. [명사] 학술 분야에 한정된 뜻으로 쓰는 전문 용어.
2. [명사] 논리의 판단·명제에서, 주사(主辭)에 대하여 긍정 또는 부정의 입언(立言)을 하는 개념.
3. [명사] 한 문장에서 주어의 움직임, 상태, 성질 따위를 서술하는 말. “철수가 웃는다.”에서 ‘웃는다’, “철수는 점잖다.”에서 ‘점잖다’, “철수는 학생이다.”에서 ‘학생이다’와 같이 주로 동사, 형용사, 서술격 조사의 종결형으로 나타난다.
4. 전제와 결론을 이루는 명제 내에서 술어 따위가 이루는 구조에 의해 타당하게 성립하는 논증을 다루는 논리. 연역 논리학의 한 분야이다.
5. 술어 논리에 따라 프로그램의 구조를 정의하고 논리적 방법에 따라 주어진 문제를 해결하는 프로그램을 작성하는 일.
6. 팬텀을 피하기 위하여, 술어로 기술된 특정 조건을 만족하는 데이터의 집합을 잠그는 일.
7. 로크 프로토콜의 하나. 특정한 술어를 만족시키는 데이터 객체만을 트랜잭션이 접근할 수 있도록 한다. ⇒규범 표기는 미확정이다.
8. [명사] ‘술어미’의 방언
9. [명사] 술청에서 술을 파는 여인.
10. 논리식이나 논리 함수에 포함되어 있는 변수.