Open main menu

Opengenome.net β

귀류법

Revision as of 08:24, 10 February 2007 by Thkim (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

한 명제를 부정하면 모순이 생긴다는 것을 이끌어냄으로써, 간접적으로 그 명제가 옳다는 것을 증명함. 또는 배리법이라고 함