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.