Symbolize the following statements from Herman Melville’s Moby Dick using the first letter of each capitalized word for the components:
a) I thought I would SAIL about a little and see the WATERY part of the world.
b) In 40 degrees south, we saw SPERM whales, but did not TAKE any till the first of May.
c) I never go [to sea] as a PASSENGER, nor … do I ever go to sea as an ENSIGN, or a CAPTAIN, or a GALLEY cook.
3.2 + 4.1 Conditional Statements (plus Negations)
Symbolize the following conditional statements using the first letter of each capitalized word for the components:
d) You should WAKE up if you want some SALT pork.
e) If you do not roll the water CASK into the galley, then if you WAKE up you will not eat a BISCUIT.
f) You smelling the COFFEE will result in you WAKING up and drinking a gallon of APPLE brandy.
g) You WAKING up implies that you smelled the RUM or that the CANNON finally worked.
h), You will either receive a BISCUIT or some COD, provided that you eat your PEAS.
3.3 Modus Ponens, Modus Tollens, Double Negation
Prove the validity of the following abstract arguments:
i) 1. F → ¬G Prem
- E → G Prem
- ¬¬F Prem /∴ ¬E
Sample Solution
