Statement Form/Examples/Shape of Eggs

Example of Statement Form

If all eggs are not square then all eggs are round

has the statement form

$A \implies B$

where:

$A$ stands for All eggs are not square

$B$ stands for All eggs are round

Sources

• 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives