Let P be a logical predicate. Rewrite the @fllwng logical statements as @egnt statements that do not use negated quantifiers: $[$a$]\backslash !\backslash$Ax $\backslash !$E y P$($x$,$y$)[$b$]\backslash !\backslash$Ex $\backslash$E y P$($x$,$y$)[$c$]\backslash$Ex $\backslash !\backslash$E y P$($x$,$y$)$