Statement Form/Examples/Arbitrary Example 6
Jump to navigation
Jump to search
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.
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 {(f)}$