Identify if the following statements are predicate logic. Give a domain of discourse for each propositional function.
(x+2)^2 is a prime number?
'(x+2)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" ...}.
Comments
Leave a comment