명제 정의

정의

명제란 **참** 또는 **거짓**을 명확히 구분할 수 있는 문장이나 수학적 표현을 말합니다. 즉, 어떤 진리값(참 또는 거짓)을 갖는 문장이며, 논리학과 수학에서 주로 사용됩니다.

예를 들어,
- "2는 짝수이다."는 참인 명제입니다.
- "3은 5의 배수이다."는 거짓인 명제입니다.

명제가 되기 위해서는 반드시 참이나 거짓 중 하나의 값으로 평가될 수 있어야 하며, 평가할 수 없는 모호한 문장은 명제가 아닙니다. 

예를 들어,
- "이 식당 음식은 맛있다."는 개인의 주관이 포함된 표현이므로 명제가 아닙니다.

 

예제

"x는 12의 약수이거나 10의 약수이다"라는 표현은 논리적으로 참이나 거짓으로 평가할 수 있는 명제입니다. 이 명제는 특정 조건(즉, "x가 12의 약수이거나 10의 약수이다")이 성립하는지를 판단할 수 있는 문장이기 때문에 명제에 해당합니다.

만약 xxx 값이 주어지면, 그 값이 12의 약수이거나 10의 약수인지 확인할 수 있고, 이에 따라 참(True) 또는 거짓(False)으로 명제를 평가할 수 있습니다.