[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
360: １３２人目の素数さん [] 2020/06/01(月) 21:35:32.93 ID:swPDUDHo 今は恒偽命題とは異なる偽の命題を例示している P∧Q：真 ¬(P∧Q)：偽 とする このとき ¬(P∧Q) |- P∧Q を示す (1) ¬(¬(P∧Q)→(P∧Q)) (2) ¬(P∧Q) (3) ¬(P∧Q) (2)の分岐 (4) ¬P (5) ¬Q (3)の分岐 (6) ¬P (7) ¬Q ゆえにタブローが閉じないので命題は不成立である 恒真命題や恒偽命題のタブローが閉じるのは当たり前 そうでない場合の偽の仮定で閉じないことなんていくらでもある http://rio2016.5ch.net/test/read.cgi/math/1589806470/360
361: １３２人目の素数さん [] 2020/06/01(月) 22:26:11.49 ID:1AEVfaSA >>360 P∨QをRとする そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね だったらこれは「R→(¬R→R)」と記号化されるべきだ なぜならただ単に「¬R→R」というだけの式では、 Rが真であるという主張が考慮されてないからだ 矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る http://rio2016.5ch.net/test/read.cgi/math/1589806470/361
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
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s