bd

Predicates P and Q are defined below. The domain of discourse is the set of all positive integers. P(x): x is prime Q(x): x is a perfect square (i.e., x = y2 for some integer y) Indicate whether each logical expression is a proposition. If the expression is a proposition, then give its truth value. (a) ax Q(x) Solution (b) VX Q(x) A-P(x) (c) Vx Q(x) v P(3) Solution (d) 3x (Q(x) A P(x)) e) x(-Q(x) v P(x)) x-06