a. Write the following argument in symbolic logic.
If Ryan gets the office position and works hard, then he will get a bonus. If he gets a bonus, then he will go on a trip. He did not go on a trip. Therefore, either he did not get the office position or he did not work hard.
b. Use logical equivalences to determine if the argument is valid or invalid.
So.... I have an answer for a, but I am having troubles understanding what they are looking for in b, any ideas? The following is my answer for a...
Answer for a:
Let:
- $A$ = Gets office position
- $B$ = Works hard
- $C$ = Gets a bonus
- $D$ = Go on a trip
Then:
$((A \land B) \to C) \land (C \to D) \land (\neg D),\therefore ((\neg A) \lor (\neg B))$