배리법

1 개요[ | ]

背理
배리법
  • 한 명제가 참인 것을 증명하려고 할 때에, 그 명제의 부정이 모순임을 증명함으로써 원래의 명제가 참인 것을 보여 주는 간접 증명법 → 귀류법
  • 어떤 명제가 참임을 직접 증명하는 대신, 그 부정 명제가 참이라고 가정하여 그것의 불합리성을 증명함으로써 원래의 명제가 참인 것을 보여 주는 간접 증명법

2 같이 보기[ | ]

3 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}