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
$$ \exists x\in X: p(x) \land \neg(q(x)\lor r(x))$$
oder
$$ \exists x\in X: p(x)\land \neg q(x)\land \neg r(x).$$