否定
否定の真理値表
∀ x ¬ A(x) = ¬ ∃ x A(x)