DESERT DESSERT
LOGIC FINAL EXAMINATION

PART I: DIAGRAMMING (10 points)

Instructions: Using the numbering scheme provided, construct a diagram of the arguments in the passage below.

¹ Heidi must be sick.  ² We know she either went to the mountains, the beach, or the desert.  ³ If she had gone to the beach I would have seen her, but  ⁴ I did not. However,  ⁵ she must not have gone to the mountains, because ⁶ the bears and lions got all the campers who went to the mountains and  ⁷ they didn't get her. So  ⁸ she must have gone to the desert. Unfortunately, ⁹ everyone who went to the desert ate Rocko's strawberry desert dessert and got sick.

PART II: TRANSLATION (15 points)

Instructions: Using the translation key provided, translate the argument below into symbolic notation.

Heidi went to the mountains only if she didn't go to the desert. She went to the desert provided that it was cool outside and the bears were not hibernating. So unless the bears were hibernating, Heidi went to the mountains if it wasn't cool outside.

PART III: TRUTH TABLE (15 points)

Instructions: Determine whether the statement below is logically true, logically false, or logically indeterminate by constructing a truth table.

((P > (- Q . R)) > - (Q = P))

PART IV: CONSISTENCY TREE (15 points)

Instructions: Determine whether the set of statements below is consistent or inconsistent by constructing a consistency tree.

{ (P > (- Q v R)); - (P > R); - (P . - Q) }

PART V: PROOF (15 points)

Instructions: Construct a proof of the argument below.

PART VI: SYLLOGISM (15 points)

Instructions: Identify the mood and figure of the argument below. Explain whether the argument is valid or invalid on both the Classical Theory and on the Modern Theory. If it is invalid on either of the theories, identify the rule or rules it violates.

PART VII: VENN DIAGRAM (15 points)

Instructions: Construct two venn diagrams on the argument in Part VI, one from the modern perspective, the other from the classical perspective. Label the two diagrams 'Modern' and 'Classical', and identify the three rectangles in each diagram.