Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

796: 11/12(水)03:22 ID:+6voqTol(1/4) AAS
>>792
>きちんと証明書かないで、数学やれるんだね
人生で一度も証明書いたことが無いおまえがそれ言うか？
なら下記命題の証明をきちんと書いてみ？
∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))