ようこそ ○× ソーシャル 「コトノハ」へ!

コトノハは、色々なコト(キーワード)について、みんなで ○× で答えていく、新感覚のコミュニティサービスです。
あなたはまだコトノハにログインしていません。 ぜひコトノハにログインして、○×の世界をお楽しみください。

コトノハのトップページへ   |   新規ユーザ登録はこちらから

コトノハ

K(クリプトン)Y(ヨーグルト) << prev
next >> よむよむ

背理法

○
×
  • * Googleで検索
  • * ランダム[ r ]

コメント一覧

○
  • 証明したい命題の否定を仮定し矛盾を導出する証明法

  • 片桐はいり・・www

  • 興味はありますが、使いこなせるかどうか・・・

  • これを使えない論理体系も場合によっては便利らしい

  • 排中律が成り立っていることを前提とする

  • 命題が成り立つ(真である)と一旦仮定して、矛盾が出ると、その命題は偽であることを導き出す証明法

  • 「お笑い芸人ではない片桐はいりが、レーザーラモンHGのマネをすると矛盾する。 よって、マネをしない。」的証明法? 帰謬法ともいう。 http://kotonoha.cc/no/35873(関連・ハイリハイリフレハイリホー?)

×
  • よーちゃんさんの解説は的確ですね。

  • 習った習った 数学嫌い…

回答したユーザ
トラックバックURL:  
K(クリプトン)Y(ヨーグルト) << prev
next >> よむよむ