Question

Identify if the following statements are predicate logic. Give a domain of discourse for each propositional function.

(x+2)^2 is a prime number?

Answer 1

'(x+2)² is a prime number' is a predicate logic and the domain of discourse here is the set of numbers {$\sqrt{2}-2$ ,$\sqrt{3}-2$ , $\sqrt{5}-2,$ $\sqrt{7}-2$ ...}.