1. For each of the following, first write the argument in symbolic form, and then determine if...
Question:
1. For each of the following, first write the argument in symbolic form, and then determine if it is valid or invalid. If the argument is valid, prove it using known logical equivalences and inference rules. If it is invalid, demonstrate that by giving a counter example.
(a) If I do not start planning early, or go to Hawaii in February, then our vacation is not affordable and we take a driving trip. If we take a driving trip, then we eat at Tim Horton's. We did not eat at Tim Horton's. Therefore, we did not go to Hawaii in February.
(b) I go hiking or play golf. If I go hiking, then if I'm tired then we go to the pub for dinner. If I don't get enough sleep, then I'm tired. Therefore, if we go to the pub for dinner then I don't get enough sleep.