Statement Form/Examples/Arbitrary Example 4

From ProofWiki
Jump to navigation Jump to search

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.


Sources