Definition   정의 (definition)

(2024-02-21)

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


1. 정의 (Definition)

  ㅇ 정확한 의미를 전달하기 위해, 개념의 내용을 한정하여 설명하는, 문장이나 을 말함

  ㅇ (정의의 용도)
     - 논의 대상을 보편화시키고, 확실하게 규정하기 위함
        . 例) 자연수를 정의하기 위한 페아노 공리
     - 어떤 이론의 논리를 정립하기 위해 필요함
     - 정리를 증명하는데 유용한 수단으로 쓰여질 수 있음

  ㅇ (정의의 형식적 구분)
     - 설명 정의 형식
     - 밝힌 정의 형식


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

  ㅇ 사실상, 모든 것을 일일이 다 정의할 수 없음
     - 통상, 설명이나 다른 정의 없이도 사용 가능한 개념

  ㅇ 특히, 집합(Set)은, 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
     - 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
     - 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등

  ㅇ 한편, 기하학에서는,
     - 점,직선,평면 등은 구체적으로 정의하지 않고서도, 
     - 상호관계 만을 공리로써 규정하고, 그러한 관계적 개념을 통해서, 이론체계가 수립됨

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


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