##### GATE 2011 Propositional Logic

P(x) = ¬(x=1)∧∀y(∃z(x=y*z)⇒(y=x)∨(y=1))

**(A)** P(x) being true means that x is a prime number

**(B)** P(x) being true means that x is a number other than 1

**(C)** P(x) is always true irrespective of the value of x

**(D)** P(x) being true means that x has exactly two factors other than 1 and x

why option D is incorrect here?