명제

명제(영어: proposition)는 논리적으로 참이거나 거짓으로 판단될 수 있는 주장을 언어 또는 기호로 표시한 것이다.

다른 개념과의 구분

명제는 주장하거나 부정할 수 있다는 점에서 질문, 명령, 감탄과 구별된다.

또한 문장을 사용해서 주장되는 명제와 문장은 구별할 필요가 있다. 다른 말들이 다른 순서로 결합되어 이루어진 두 개의 분명히 서로 다른 문장들이 같은 문맥에서 같은 의미를 가질 수 있다.

형식어

명제에서 형식어(영어: formal word)는 '모든', '어떤', '~이다', '~이 아니다'와 같은 것들이다.

기술어

명제에서 기술어(영어: descriptive word)는 추론의 내용을 구성하는 것들이다.