Statement Form/Examples/Arbitrary Example 2

Example of Statement Form

 * We shall win the election, provided that Jones is elected leader of the party

has the statement form
 * $A \implies B$

where:
 * $A$ stands for Jones is elected leader of the party
 * $B$ stands for We shall win the election.