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.

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 {(b)}$