증명류 (1) 썸네일형 리스트형 수학 논문의 정의 명제 정리 증명관련 요약 Definition 정의 용어의 뜻을 명확하게 정한 것으로 용어의 뜻에 대한 약속 약속이므로 증명할 필요가 없음 예시 직각삼각형은 한 내각의 크기가 직각인 삼각형 두 변의 길이가 같은 삼각형은 이등변삼각형이라고 정의한다 Proposition 명제 '참'과 '거짓'을 분명하게 판단할 수 있는 문장이나 식 증명이 요구됨 가정과 결론으로 이루어져있음 가정: ~이면 결론: ~이다 예시 x+3 = x+3 : x에 어떤 수를 넣어도 식이 성립하므로, '참'인 명제 x+7 = 9 : x의 값에 따라 '참' 또는 '거짓'이 되므로, 명확히 판한할 수 없는 식 (명제가 아님) Theorem 정리 증명을 통해서 참으로 밝혀진 것 수학적으로 참인 공리 또는 정의를 기반으로 증명된 명제 큰 범위에서 중요한 내용을 증명한 것 .. 이전 1 다음
