[過去ログ] 現代数学の系譜 カントル 超限集合論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*