>>300
∃は存在さえ示せればいい（例外がいくらあっても１個でも該当すればいい）
f(x) = 0 (何受け取っても０を返す関数)

-2 < x < 4 , f(-1) = 0 -- OK
-2 < x < 4 , f(-3) = 0 -- NG

∀は全てのなので、どんな場合も成り立たないといけない（１個でも例外があればNG)
f(x) = -x　（xの正負を逆転させる関数）

-2 < x < 4 , f(-1) = 1 > 0 -- OK
1 < x < 4 , f(2) = -2 > 0 -- NG