Uは空でない集合、φ(x)、ψ(x)はxに関する条件とする。

φ(x)⇒ψ(x)と∀x∈U(φ(x)⇒ψ(x))のVenn図における違いがどうもよくわからんのだが