명제

명제의 증명

1. 정의, 증명, 정리
1. 정의 : 용어의 뜻을 명확하게 정한 문장
2. 증명 : 정의나 명제의 가정 또는 이미 옳다고 밝혀진 성질을 이용하여 어떤 명제가 참임을 설명하는 것
3. 정리 : 참임이 증명된 명제 중에서 기본이 되는 것이나 다른 명제를 증명할 때 이용할 수 있는 것


2. 명제의 증명
   명제가 참임을 직접 증명하기 어려울 때, 다음과 같은 방법을 이용하여 증명할 수 있다.
1. 대우를 이용한 증명
   명제 가 참이면 그 대우 도 참이므로 어떤 명제가 참임을 증명할 때 그 대우가 참임을 증명하는 방법
2. 귀류법
   명제 또는 명제의 결론을 부정하면 모순이 생기는 것을 보여서 주어진 명제가 참임을 증명하는 방법