ぱと隊長日誌

ブログ運用もエンジニアとしての生き方も模索中

2018-01-31から1日間の記事一覧

背理法と前提の関係

まず、背理法の定義を確認します。 背理法(はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum)とは、ある命題 P を証明したいときに、P が偽であると仮定して、そこ…