User:4v4l0n42/Ilcretesebugiardo

$$\Phi \cup {\{\lnot\forall\x\alpha \} $$