A natural number is said to be a perfect square if and only if it is equal to the square of an integer.Suppose we define the following predicate:PerfectSquare(n) : " ", where n ∈ N.
a. Using the language of predicate logic, show how to fill in the blank to get a complete definition of a Perfect Square predicate that matches the definition for a natural number being a perfect
b. Consider the statement:If m and n are natural numbers and mn is a perfect square, then m and n are perfect squares. Express this statement using the language of predicate logic. Only use variable(s), domain(s),quantifier(s), the set membership operator (∈), logical operator(s), and the Perfect Square predicate in your solution.