[過去ログ] 純粋・応用数学 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
989(1): 2020/06/20(土)02:25 ID:0ts11Drz(2/3) AAS
>>975
>∀xFx→∀xGx
君のこの主張は
∀xFx→∀yGy
と同じことだよ?w
もちろん偽です。x=0,y=1が反例w
君、変数のスコープって知らないの?
993: 2020/06/20(土)04:36 ID:Knd5V/HY(1/8) AAS
>>989
じゃあ同値よりもさらに強い同義なんだと自ら認めてしまったわけか
同義語の反復をして何を示していると思っているの?
∀xFx→∀xFx
さらに
∀xFx→∀xFx 偶数は2の倍数
∀xFx→∀xGx 2の倍数は自然数
ゆえに
∀xFx→∀xGx 偶数は自然数
だから
省6
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s