Statement Form/Examples/Arbitrary Example 3
Jump to navigation
Jump to search
Example of Statement Form
- If Jones is not elected leader of the party, then either Smith or Robinson will leave the cabinet, and we shall lose the election
has the statement form
- $\neg A \implies \paren {\paren {B \lor C} \land D}$
where:
- $A$ stands for Jones is elected leader of the party
- $B$ stands for Smith will leave the cabinet
- $C$ stands for Robinson will leave the cabinet
- $D$ stands for We shall lose the election.
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 {(c)}$