Se os símbolos !$ \neg !$, !$ \land !$, !$ \lor !$, !$ \rightarrow !$, !$ \leftrightarrow !$, !$ \forall !$ e !$ \exists !$ representam a negação, conjunção, disjunção, condicional, bicondicional, para todo e existe, respectivamente, a negação da fórmula !$ \forall x(P(x)\rightarrow Q(x)) !$ é equivalente à fórmula