Statement Form/Examples/Arbitrary Example 4

Example of Statement Form

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

has the statement form
 * $\paren {A \land 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.