[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
513
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)16:42 ID:P9qVEF++(12/25) AAS
>>492 補足
背理法とベン図 及び 背理法の使いどき 下記
『ただ1通りに表される vs 2通りの表し方がある』は、手筋です

外部リンク:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
背理法ってベン図かなにかで可視化できませんか?

外部リンク:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか?
ベストアンサー
省13
515: 11/08(土)17:02 ID:ZuSEB9pS(15/21) AAS
>>513 >>514
可視化だの分かりやすいだの高校生かよw
大学生なら証明しろw
518: 11/08(土)17:28 ID:ZuSEB9pS(17/21) AAS
>>513 >>514
>人の思考は一階述語論理に縛られない
こんな能書き垂れて勉強しないから背理法ひとつ証明できないんだよど素人くん
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s