반응형
증명이란 무엇인가
증명은 어떤 명제가 참임을 설명하는 것입니다. 아무 가정도 없는 상태로 명제를 증명하는 것은 불가능하기 때문에 여러가지 기본적인 가정에서 출발합니다. 이러한 기본적인 가정들을 공리(AXIOM)이라고 부릅니다. 너무 당연해서 증명하기 어려운 명제들입니다. 공리들을 가정하고, 가정한 공리들을 이용하여 해당 명제가 참임을 보이는 것이 증명입니다. 참이라는 것이 밝혀진 명제를 정리(Theorem)라고 부릅니다.
반응형
'수학(하) > 1. 집합과 명제' 카테고리의 다른 글
| [모듈식 수학 (하)] 1. 집합과 명제 (42) 필요충분조건 (0) | 2019.04.10 |
|---|---|
| [모듈식 수학 (하)] 1. 집합과 명제 (41) 필요조건, 충분조건 (0) | 2019.04.09 |
| [모듈식 수학 (하)] 1. 집합과 명제 (40) p이면 q이다 참일 떄 기호 (0) | 2019.04.03 |
| [모듈식 수학 (하)] 1. 집합과 명제 (39) 증명 방법 (직접법 vs 간접법) (0) | 2019.03.28 |
| [모듈식 수학 (하)] 1. 집합과 명제 (37) 삼단논법 (0) | 2019.03.06 |
| [모듈식 수학 (하)] 1. 집합과 명제 (36) p → q 명제의 역과 대우의 참,거짓 (0) | 2019.03.05 |
| [모듈식 수학 (하)] 1. 집합과 명제 (35) p → q 명제의 역과 대우 (0) | 2019.02.27 |
| [모듈식 수학 (하)] 1. 집합과 명제 (34) '모든' 또는 '어떤'이 들어 있는 명제의 부정 (0) | 2019.02.26 |
댓글