Proof   증명

(2020-07-14)

증명, 증명, 사실

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

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