write this statement using a universal quantifier () and an existential quantifier () in the natural number domain:The negative says that it is not true that for every natural number x, there exists a natural number y such that y is greater than x, provide a counterexamples to the negation