If P(x)P(x)P(x) is 'xxx is a prime number', what is the negation of (∀x∈N)(P(x) ⟹ x>1)(\forall x \in \mathbb{N})(P(x) \implies x > 1)(∀x∈N)(P(x)⟹x>1)?
(∃x∈N)(¬P(x) ⟹ x≤1)(\exists x \in \mathbb{N})(\neg P(x) \implies x \leq 1)(∃x∈N)(¬P(x)⟹x≤1)
(∃x∈N)(P(x)∧x≤1)(\exists x \in \mathbb{N})(P(x) \land x \leq 1)(∃x∈N)(P(x)∧x≤1)
(∀x∈N)(P(x)∧x≤1)(\forall x \in \mathbb{N})(P(x) \land x \leq 1)(∀x∈N)(P(x)∧x≤1)
(∃x∈N)(P(x)∨x≤1)(\exists x \in \mathbb{N})(P(x) \lor x \leq 1)(∃x∈N)(P(x)∨x≤1)