[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
362: １３２人目の素数さん [] 2020/06/01(月) 22:26:11.63 ID:1AEVfaSA >>360 P∨QをRとする そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね だったらこれは「R→(¬R→R)」と記号化されるべきだ なぜならただ単に「¬R→R」というだけの式では、 Rが真であるという主張が考慮されてないからだ 矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る http://rio2016.5ch.net/test/read.cgi/math/1589806470/362
363: １３２人目の素数さん [] 2020/06/01(月) 23:09:29.96 ID:swPDUDHo >>362 それだと話が変わってしまう Pが真のとき P→(¬P→P)が真であることをいうのではない すなわち真の前提から導出された命題の話ではなく P：真 Q：偽 とするときQが恒偽命題でない場合の Q→P の論証について議論をしている 偽の仮定から常に真の後件が導出されるかどうかの話です ゆえに >Rが真ならば、¬R→R という話ではない 貴方の話は P：真 ¬P：偽 ¬¬P：真 このとき P→(¬P→P) を言っているに過ぎない http://rio2016.5ch.net/test/read.cgi/math/1589806470/363
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s