Statement Form/Examples/Arbitrary Example 3

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)}$