I need help with writing a predicate calculus statement that involves auniversaland anexistential quantifier. The domains for each quantifier should be one of the numeric sets, the natural numbers, the integers, the rational numbers or the real numbers.

Then please Indicate whether the statement is true or false. If it is false, provide a counter example. Write the negation of the original statement. If the negation is false, provide a counterexample.

This will be used to show me how it is done. Thank you, tutor!