[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
420(1): 2020/03/10(火)22:34 ID:mmHfZIYm(3/3) AAS
>>414
> (>>380ご参照)
>>The Riddleなんて、カンケーない
>>時枝記事が否定されれば、それで十分だ
> P:The Riddle から、Q:時枝記事の確率1-ε が導かれる
> つまり、P→Qだ
あんたはPの真偽を間違えているじゃん
P:真 Q:真 P→Q:真
P:真 Q:偽 P→Q:偽
P:偽 Q:真 P→Q:真
P:偽 Q:偽 P→Q:真
421(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/11(水)07:25 ID:VmLB1T0T(1/5) AAS
>>420
対偶が理解出来ていないのか?(゜ロ゜;
(>>380ご参照)
P:The Riddle から、Q:時枝記事の確率1-ε が導かれる
つまり、P→Qだ
対偶:¬Q→¬P
つまり、¬Q:時枝記事の否定→¬P:The Riddleの否定
QED
対偶は、P→Qの真偽とは無関係に、常に成立するよ
下記の 高校数学の美しい物語 を、どぞ (^^
(ベン図みろ)
(参考)
外部リンク:mathtrain.jp
高校数学の美しい物語
2016/01/05
対偶を用いた証明のいろいろな具体例
「P ならば Q」という命題とその対偶「Q でないならば P でない」という命題の真偽は一致する。
対偶の真偽は一致する
「P ならば Q」という命題について,両方否定してひっくり返したもの「Q でないならば P でない」を対偶と言います。
対偶の真偽が一致することは,ベン図で理解することもできます。
画像リンク
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 2.166s*