Proof   증명

(2019-11-15)

증명, 증명, 사실

1. 증명 (Proof)추론에 대해 타당성을 검증하는 것
     - 명제가 참 또는 거짓이라는 정당성을 밝히는 것

  ㅇ 주요 증명 방법
     - 직접 증명법 (Direct Proof)
        . 연역적 추론 방식의 증명법
     - 간접 증명법 (Indirect Proof)
        . 중간 단계를 거쳐 증명하는 방법
        . 주로, 귀류법
           .. 부정 명제를 전제에 포함시켜, 논증이 모순에 귀결하게함으로써 증명하는 방법
     - 수학적 귀납법 (Mathematical Induction)
        . 개별 사실들을 증거로 하여 일반 결론을 끌어내는 논증 방법

  ㅇ 한편, 증명 관련 기호
     - 증명을 마침/끝 (Q.E.D, quad erat demonstrandum) : □
        . 증명 끝


2. 사실 (Fact)

  ㅇ 증명 없이도 직관적으로 믿어지는 것
     - 증명 없이 결과 만 제시

  ㅇ 한편, 증명 없이도 받아들일 수 있는 사실(무증명 명제)은, ☞ 공리(Axiom) 참조


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

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