1 개요[ | ]
- 진위를 판별할 수 있는 문장
- 논리학적으로 뜻이 분명한 문장
- 참·거짓을 명확히 판별할 수 있는 문장 또는 식
- 그 내용이 참인지 거짓인지를 명확하게 판별할 수 있는 문장
- 논리적으로 참이거나 거짓으로 판단될 수 있는 주장을 언어 또는 기호로 표시한 것
- 단순명제 + 합성명제
2 예시[ | ]
- 소크라테스는 사람이다. (참)
- 일본의 수도는 파리이다. (거짓)
이다. (참) 이면 이다. (참)- 0이 홀수라면, 1은 짝수이다. (참)
- 0이 홀수라면, 2는 짝수이다. (참)
- 67280421310721이 소수(prime number)라면, 2는 짝수이다. (참)
- 67280421310721이 소수(prime number)가 아니라면, 2는 짝수이다. (참)
3 명제가 아닌 것 예시[ | ]
- 소크라테스는 누구인가?
- 저곳으로 가라.
- 재즈 음악은 아름답다.
이다.
4 가정과 결론[ | ]
가정 (assumption) 문서를 참고하십시오.
결론 문서를 참고하십시오.
이면 이다
- 가정:
- 결론:
- 두 원의 넓이가 같으면 합동이다.
- 가정: 두 원의 넓이가 같다.
- 결론: 두 원은 합동이다.