Definition   정의 (definition)

(2019-10-24)

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

1. 정의 (Definition)

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

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


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

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


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

 
        최근수정     요약목록     참고문헌