Definition   정의 (definition)

(2019-10-24)

Undefined Word, 무정의 용어, Undefined Term, 무정의 술어, 정의 [Definition]

Top > [기술공통]
[기초과학]
[진동/파동]
[방송/멀티미디어/정보이론]
[전기전자공학]
[통신/네트워킹]
[정보기술(IT)]
[공학일반(기계,재료등)]
[표준/계측/품질]
[기술경영]
기초과학 >   1. 과학
[수학]
[물리]
[화학]
[지구,천체 과학]
[생명과학]
[뇌과학]
수학 >   1. 수학
[기초수학]
[집합,논리]
[해석학(미적분 등)]
[대수학]
[확률/통계]
[수치해법]
집합,논리 > [집합]
[논리]
[관계]
논리  1. 논리
  2. 논리식
  3. 명제(proposition)
  4. 술어(predicate)
  5. 공리(axiom)
  6. 정리(theorem)
  7. 정의(definition)
  8. 동치(equivalence)
  9. 수리 논리학
[추론,논증]

1. 정의 (Definition)

  ㅇ 정확한 의미를 전달하기 위해, 개념의 내용을 한정하여 설명하는 문장이나 식을 말함
     - 논의 대상을 보편화시키고, 확실하게 규정하기 위한 문장이나 식
     - 어떤 이론의 논리를 정립하기 위해 필요함 

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


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

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


[논리] 1. 논리 2. 논리식 3. 명제(proposition) 4. 술어(predicate) 5. 공리(axiom) 6. 정리(theorem) 7. 정의(definition) 8. 동치(equivalence) 9. 수리 논리학
[추론,논증]

    요약목록
Copyrightⓒ written by 차재복 (Cha Jae Bok)        「 소액후원 」