Quantifier/Examples/Definition of Greater Than or Equal To

From ProofWiki
Jump to navigation Jump to search

Example of Use of Quantifiers

Let $x$ and $y$ be in the natural numbers.


$\forall x: \forall y: \exists z: y \ge x \implies y = x + z$

means:

If a natural number $y$ is not less than a natural number $x$, then $y - x$ is a natural number.


Sources