I have been trying this question for about 3 hours and I am still stuck please help.
Q: Find the argument form for the argument and determine whether it is valid. Explain your reasoning.
- If I get a bonus, I will buy the painting.
If I sell my books, I will buy the painting.
∴ If I get a bonus or sell my books, I will buy the painting.
We have to build and solve this argument using the rules of inference, however, I have not found a way to do it so far.
What I have done: List of premises: p --> q, r --> q, Conclusion: (p V r ) ---> q
- p --> q (if p then q )
- r --> q 3.
The question should be solved like this example:
Ex: Show that the premises "It is not sunny this afternoon and it is colder than yesterday," "We will go swimming only if it is sunny," "If we do not go swimming, then we will take a canoe trip," and "If we take a canoe trip, then we will be home by sunset" lead to the conclusion "We will be home by sunset."
- ¬p ^ q (Premise)
- ¬p (Simplification using 1)
- r --> p (premise)
- ¬r (Modus tollens using 2 and 3)
- ¬r --> s (Premise)
- s (Modus ponens using 4 and 5)
- s --> t (Premise)
- t (Modus ponens using 6 and 7)
List of available inferences:
modus ponens modus tollens hypothetical syllogism disjunctive syllogism addition simplification conjunction resolution
We can also use logical equivalences including the ones with conditional statements