否定
∀ x ¬ A(x) 「すべての x について、「A(x) でない」」あるいは「絶対に A(x) ではない」
すべての x に対して、命題 A(x) の否定を主張する命題。
ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。