Definition   정의 (definition)

(2017-04-20)

Undefined Word, 무정의 용어, Undefined Term, 무정의 술어, 정의

기초과학 1. 과학

수학
물리/화학
지구,천체 과학
생명과학
 > 수학기초수학
집합,논리
정수론(수론)
해석학(미적분 등)
대수학
확률/통계
수치해법
 > 집합,논리집합
논리와 증명
관계
 > 논리와 증명 1. 논리(Logic),수리 논리학
2. 논리식
3. 명제(proposition)
4. 공리(axiom)
5. 정리(theorem)
6. 정의(definition)
7. 증명(proof)
8. 수학적 귀납법
9. 동치(equivalence)
10. 명제함수,술어논리학

     
1. 정의 (Definition)

  ㅇ 정확한 의미를 전달하기위해 개념의 내용을 한정하여 설명하는 문장이나 식을 말함
     - 어떤 이론의 논리를 정립하기 위해 필요함 

  ㅇ < 정의의 형식 구분 >
     - 설명 정의 형식
     - 밝힌 정의 형식


2. 무정의 용어(Undefined Word) 또는 무정의 술어(Undefined Term)

  ㅇ 모든 것을 일일이 다 정의할 수 없음
     - 특히 집합(Set)은, 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
        . 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
        . 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등
     - 기하학에서,
        . 점,직선,평면 등은 구체적으로 정의하지 않고, 상호관계를 공리로써 규정하고,
          그 개념에 의거해서 이론체계가 수립됨


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

 
        최근수정     모바일웹     참고문헌