Proof by Contradiction   귀류법

(2018-10-16)
1. 귀류법 (歸謬法, Proof by Contradiction)

  ㅇ 주어진 전제(前提)로부터 직접 증명하지 않는 간접적 증명 방식 임

  ㅇ 귀류법 
     - 전제를 부정 명제화하여, 논증이 모순에 귀결하는 것을 밝힘
     - 즉, 
        . 우선 명제가 거짓이라고 가정해보고,
        . 처음의 가정으로 인해 틀린 결론이 유도된다면,
        . 처음 가정이 잘못된 바,
        . 해당 명체가 참이라고 결론짓게하는 증명 방법

[추론,논증] 1. 추론 2. 증명 3. 귀납법 4. 귀류법 5. 연역법
Copyrightⓒ written by 차재복 (Cha Jae Bok)        「 소액후원 」
  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.   ▷ 기술경영
 
        최근수정     요약목록     참고문헌