【悲報】チンパンジー∀と∃が分からない

(∃x.P)⇒Qと∀x.P⇒Qはほぼ同値なのが分からない模様

489 １３２人目の素数さん 2024/04/01(月) 04:59:36.92 ID:bK4MjgvC
>assume + some = for allなんだよなあ
assumeは仮定するとか前提とする等の意味であって、それとsomeが組み合わされたからってsomeの意味が変わる訳ではないｗ
誰にそんなバカなこと吹き込まれたのやら