Nicht ganz, die Aussage ist ja: Für alle x, für welche p(x) gilt, gilt auch q(x) oder p(x), das heißt anders gesagt: für alle x impliziert p(x) dass eine der anderen Aussagen gilt und die Negation davon lautet, dass es ein x gibt, für welches p(x) eben nicht impliziert, dass q(x) oder r(x) gilt. Das heißt
∃x∈X : p(x)∧¬(q(x)∨r(x))
oder
∃x∈X : p(x)∧¬q(x)∧¬r(x).