Отрицание утверждений с кванторами

При отрицании квантор обязан смениться на противоположный: \(\neg[\forall x: P(x)] \equiv \exists x: \neg P(x)\), \(\neg[\exists x: P(x)] \equiv \forall x: \neg P(x)\).