어떤 문제에 대한 논리적 판단 내용과 주장을 나타낸 짧은 문장.

• 복합 명제.
• 부정 명제.
• 명제가 도출되다.
• 명제가 주어지다.
• 명제를 증명하다.
• 한 명제가 참이면서 동시에 거짓일 수는 없다.
• 그 철학자는 이 명제를 증명하는 데 몇 년을 바쳤다.