Theorem   정리 (Theorem)

(2023-11-22)

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


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

  ㅇ 공리로부터 유추되는(증명되어질 수 있는) 유용한 결론
     - 정리는 시행착오,영감,추측 등의 방법을 통해서 발견되고,
     - 그 정리는 반드시 증명되어야 함

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

  ㅇ 특히, 정리는, 특정 이론에 대한 정의 및 공리로써 자주 사용됨


2. 보조 정리 (Lemma)

  ㅇ 어떤 정리를 증명하는데 쓰이는, 디딤돌 역할을 하는(보조적인) 정리를 말함


3. 따름 정리 (Corollary)

  ㅇ 어떤 정리에서 곧바로 유도되는 정리로써, 주로 이용가치가 높은 것을 말함
     - 쉽게 유도될 수 있는 작은 정리
        . 통상, 하나의 정리에 여러 따름 정리들이 수반됨

논리
   1. 논리   2. 명제(proposition)   3. 술어(predicate)   4. 공리(axiom)   5. 정리(theorem)   6. 정의(definition)   7. 동치(equivalence)  


Copyrightⓒ written by 차재복 (Cha Jae Bok)               기술용어해설 후원
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"