Let $P(x) : x^2 \leq 4$. The domain for $x$ is all positive integers. Determine truth values of the following propositions

(a) $P(1)$

(b) $\exists x \neg P(x)$

for (a)

I got $P(1)$ is the proposition $(1)^2 \leq 4$. Since $1<=4$ is true, it has a truth value T.

for (b)

I am unsure how to go about this. I started with creating an equivalency but got stuck.

$\exists x \neg P(x) \iff \neg[\forall x P(x)]$


Your response to (a) is correct. For (b), it is just asking if there exists some positive integer such that $P(x)$ is false. This is a true statement. Indeed, consider $x=3$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.