[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
267(1): 2020/04/23(木)20:10 ID:zY/+UvEc(1/3) AAS
>>141
1、P0∧∀x(Px→Psx)→∀xPx ・・・数学的帰納法
2、P0∧∃x¬Px ・・・仮定
3、∀x(Px→Psx) ・・・仮定
4、P0 ・・・2より∧除去
5、P0∧∀x(Px→Psx) ・・・4と3より∧導入
6、∀xPx ・・・1と5より→除去
省17
268(1): 2020/04/23(木)20:15 ID:zY/+UvEc(2/3) AAS
(A∧B→C)↔(A∧¬C→¬B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ
269(1): 2020/04/23(木)20:32 ID:zY/+UvEc(3/3) AAS
>>185
命題論理に直すのは簡単だよ
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
は、Fx→GxをHxと書くと、
1、∀xHx ・・・仮定
2、Ha ・・・1より全称例示化
3、∃xHx ・・・2より存在汎化
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s