Proof by Contradiction   귀류법

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

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

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


[추론,논증] 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.   기술경영

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