Using the symbolization key given, symbolize each English sentence in TFL.
- :
Mister Ace was murdered
- :
The butler did it
- :
The cook did it
- :
The Duchess is lying
- :
Mister Edge was murdered
- :
The murder weapon was a frying pan
-
Either Mister Ace or Mister Edge was murdered.
-
If Mister Ace was murdered, then the cook did it.
-
If Mister Edge was murdered, then the cook did not do it.
-
Either the butler did it, or the Duchess is lying.
-
The cook did it only if the Duchess is lying.
-
If the murder weapon was a frying pan, then the culprit must have been the cook.
-
If the murder weapon was not a frying pan, then the culprit was either the cook or the butler.
-
Mister Ace was murdered if and only if Mister Edge was not murdered.
-
The Duchess is lying, unless it was Mister Edge who was murdered.
-
If Mister Ace was murdered, he was done in with a frying pan.
-
Since the cook did it, the butler did not.
-
Of course the Duchess is lying!
Magnus et al., forall x: Calgary, Truth-functional logic, Connectives, Exercise B