증명

1 개요

proof

證明

증명

• 어떤 명제가 참이라는 것을 보이는 일
• 전제에서 유효한 추론에 의해 결론을 이끌어내는 것
• 이미 알고 있는 옳은 사실이나 밝혀진 성질들을 이용하여 명제가 참임을 보이는 것
• 특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보이는 일

2 같이 보기

• 명제
• 논증
• 추측
• 반례
• 반증
• 정리(theorem)
• 공리
• POC
• Q.E.D.
• 연역법
• 귀류법
• 삼단논법
• 수학적 귀납법
• 증명서
• 간접증명법
• 컴퓨터를 이용한 증명

3 참고

• http://en.wikipedia.org/wiki/Mathematical_proof
• http://terms.naver.com/entry.nhn?cid=200000000&docId=1143925&categoryId=200000448