Theorem   정리 (Theorem)

(2018-04-16)

Lemma, 보조 정리, Corollary, 따름 정리

1. 정리 (Theorem)수학적 논증의 추론 결과에 따라 참으로 증명명제
     - 이론에 대한 정의 및 공리, 다른 정리로부터 논리적으로 추론되어지는 것

  ㅇ 공리(Axiom)로부터 유추되는 유용한 결론
     - 통상적으로, 정리는 시행착오,영감,추측 등의 방법을 통해서 발견됨

  ㅇ 결국, 정리는 증명되어야할 유용한 대상인 셈
     - 정리는 증명에 의해 질서정연하게 전개됨


2. 보조 정리 (Lemma)

  ㅇ 어떤 정리를 증명하는데 쓰이는 보조 정리를 말함


3. 따름 정리 (Corollary)

  ㅇ 어떤 정리에서 바로 유도되는 정리로써, 이용가치가 높은 것을 말함


[논리] 1. 논리(Logic),수리 논리학 2. 논리식 3. 명제(proposition) 4. 공리(axiom) 5. 정리(theorem) 6. 정의(definition) 7. 증명(proof) 8. 수학적 귀납법 9. 귀류법 10. 동치(equivalence) 11. 명제함수,술어논리학

 
        최근수정     요약목록(시험중)     참고문헌