1. 증명 (Proof)
ㅇ 명제가 참 또는 거짓이라는 정당성을 밝히는 것
- 추론된 결론에 대해 타당성을 검증하는 것
. 주장이 왜 진실인가를 보여주는 단계별 논증
ㅇ 주요 증명 방법
- 직접 증명법 (Direct Proof)
. 연역적 추론 방식의 증명법
- 간접 증명법 (Indirect Proof)
. 중간 단계를 거쳐 증명하는 방법
. 주로, 귀류법
.. 부정 명제를 전제에 포함시켜, 논증이 모순에 귀결하게함으로써 증명하는 방법
- 수학적 귀납법 (Mathematical Induction)
. 개별 사실들을 증거로 하여 일반 결론을 끌어내는 논증 방법
ㅇ 한편, 증명 관련 기호
- 증명의 시작 : 보통, `증명`이라고 이탤릭체로 서두에 붙임
- 증명을 마침/끝 : Q.E.D (quad erat demonstrandum), □, ■, ◆ 등 여러 기호들이 쓰임
2. 사실 (Fact)
ㅇ 증명 없이도 직관적으로 믿어지는 것
- 증명 없이 결과 만 제시
ㅇ 한편, 증명 없이도 받아들일 수 있는 사실(무증명 명제)은, ☞ 공리(Axiom) 참조