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

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

Inter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch810:１３２人目の素数さん
25/11/12 05:54:43.33 gdxRFtgb.net
＞下記命題の証明をきちんと書いてみ？
＞∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))

そもそも以下が成立する
∀x(P(x)→Q(x))→(∃xP(x)→∃xQ(x))
また同じことだが以下が成立する
∀x(P(x)→Q(x))→(∀x￢Q(x)→∀x￢P(x))

次ページ

続きを表示

1を表示