Statement Form/Examples/Arbitrary Example 6

Example of Statement Form

 * If the murderer has not left the country, then somebody is harbouring him

has the statement form
 * $\neg A \implies B$

where:
 * $A$ stands for The murderer has left the country
 * $B$ stands for Somebody is harbouring him.