Statement Form/Examples/Arbitrary Example 4
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
- 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives: Exercises $1 \ \text {(d)}$