Se os símbolos !$ ¬ !$, !$ ∧ !$, !$ ∨ !$, !$ → !$, !$ ↔ !$, !$ ∀ !$ e !$ ∃ !$ representam a negação, conjunção, disjunção, condicional, bicondicional, para todo e existe, respectivamente, a fórmula !$ ∀ !$x!$ ∃ !$y(P(x)!$ → !$Q(y)) é equivalente à fórmula