[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
345(1): 2020/06/01(月)14:42 ID:1AEVfaSA(1/6) AAS
>>323
∀x(¬p(x)→¬q(x))↔∀x(q(x)→p(x))↔∀x((x=2∨x=-2)→x=2)
→{(-2=2∨-2=-2)→-2=2}↔-2=2より偽
>>333
一行目のP∨Qが真であるという前提と矛盾するので閉じている
>>339
同じだよ
省2
346(1): 2020/06/01(月)14:45 ID:1AEVfaSA(2/6) AAS
訂正
>>341
一行目のP∨Qが真であるという前提と矛盾するので閉じている
347(1): 2020/06/01(月)15:07 ID:1AEVfaSA(3/6) AAS
１、A∧B→C ・・・仮定
２、A ・・・仮定
３、B ・・・仮定
４、A∧B ・・・２と３より∧導入
５、C ・・・１と４より→除去
６、B→C ・・・３と５より→導入
７、A→(B→C) ・・・２と６より→導入
省12
361: 2020/06/01(月)22:26 ID:1AEVfaSA(4/6) AAS
>>360
P∨QをRとする
そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね
だったらこれは「R→(¬R→R)」と記号化されるべきだ
なぜならただ単に「¬R→R」というだけの式では、
Rが真であるという主張が考慮されてないからだ
矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る
362(1): 2020/06/01(月)22:26 ID:1AEVfaSA(5/6) AAS
>>360
P∨QをRとする
そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね
だったらこれは「R→(¬R→R)」と記号化されるべきだ
なぜならただ単に「¬R→R」というだけの式では、
Rが真であるという主張が考慮されてないからだ
矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る
365(1): 2020/06/01(月)23:52 ID:1AEVfaSA(6/6) AAS
>>363
＞すなわち真の前提から導出された命題の話ではなく
Rが真のときに¬Rを前提にRが言えるかの話なのに、
つまり前提である¬Rが偽であるとしてる話なのになんでそう思ったの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s