Statement Form/Examples/Arbitrary Example 8

Example of Statement Form

 * If $y$ is an integer then $z$ is not real, provided that $x$ is a rational number

has the statement form
 * $A \implies \paren {B \implies \neg C}$

where:
 * $A$ stands for $x$ is a rational number
 * $B$ stands for $y$ is an integer.
 * $C$ stands for $z$ is real.