Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01888900n
Noun Concept
Categories: 数学に関する記事, 数学的証明, 命題論理の定理, 証明法
JA
背理法  帰びゅう法  帰謬法  矛盾による証明
JA
背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。 Wikipedia
Definitions
Relations
Sources
JA
背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。 Wikipedia
IS A
帰謬法
証明
定理
HAS KIND
無限降下法
HAS INSTANCE
EN
proof that the square root of 2 is irrational
Wikipedia
JA
背理法
Wikidata
JA
背理法
Wikipedia Redirections
JA
帰びゅう法, 帰謬法
Wikidata Alias
JA
帰謬法, 矛盾による証明

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License