[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
372(1): 2020/06/02(火)00:49 ID:xEujzbd1(4/5) AAS
それから>>347で
こんなことを書いているけど何も関係がないね
恒偽命題の仮定とそうではない偽の仮定の話をしているのに
一例に過ぎない
>¬P→(P→Q)と¬P∧P→Qが同値
こんなことを書かれても( ´,_ゝ｀)ﾌﾟｯ
としか言えないわ
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s