a) Whenever Carl drinks a bottle of whiskey, he gets terrible headaches. Whenever Carl drinks a bottle of rum, he believes he sees pink elephants. Whenever Carl drinks a bottle of water, he feels bored. He drinks one or more bottles, each of them containing whiskey, rum, or water. Carl does not believe he sees pink elephants, and he is not bored. Therefore, he must have drunk a bottle of whiskey. b)Jennifer is either watching a soccer game or a baseball game, or both. Whenever she watches a soccer game, she wears a Beckham t-shirt. Whenever she watches a baseball game, she wears a Red Sox scarf. Therefore, Jennifer is wearing a Beckham t-shirt and a Red Sox scarf.

Question 1: Resolving Problems Are the following arguments valid or not? Use resolution or resolution refutation to find out. Proceed in four steps: Extract the propositions from the argument and name them with single letters. Describe the hypotheses and the conclusion in propositional calculus. Convert these expressions into conjunctive normal form (CNF) suitable for resolution or resolution refutation (whichever method you decide to use). List the steps of the resolution (refutation) and state the result, that is, whether the argument is valid or not. . Question 1: Resolving Problems Are the following arguments valid or not? Use resolution or resolution refutation to find out. Proceed in four steps: Extract the propositions from the argument and name them with single letters. Describe the hypotheses and the conclusion in propositional calculus. Convert these expressions into conjunctive normal form (CNF) suitable for resolution or resolution refutation (whichever method you decide to use). List the steps of the resolution (refutation) and state the result, that is, whether the argument is valid or not