# Past Exam for PHIL 120 - INTRO TO LOGIC with Cohen at Washington (UW)

## Exam Information

 Material Type: Final Professor: Cohen Class: PHIL 120 - INTRO TO LOGIC Subject: Philosophy University: University of Washington - Seattle Term: Autumn 2007 Keywords: Either...orTetrahedronDescriptionsContradictionConjunctionConditionalIn Front (of)In Front OfPropositionalFalse Statement

## Sample Document Text

PHIL 120 Intro to Logic Answers to Final Exam Practice Questions Answers to multiple choice questions are listed here. For more detailed explanations, see the next section; it should help you figure out why any of your answers was incorrect. 1. e 2. d 3. e 4. a 5. e 6. d 7. c 8. a 9. e 10. c 11. e 12. e 13. e 14. b 15. d 16. i 17. 6. ? Elim: 5 7. Tet(a) ? a = c 8. ? Elim 9. ? Elim: 6 10. ? Elim: 4, 9 11. a = b 12. ? Elim: 1, 5-11 18. f Explanations 1. Which of the following are logical truths, but not FO-validities? a. ?x ¬(Square(x) ? Circle(x)) b. Cube(a) ? ¬Cube(a) Tautology, hence FO-valid. c. Dodec(d) ? d = c ? Cube(c) Not a logical truth. d. ?x SameRow(x, x) e. (a) and (d) This is the correct answer. 2. Which of the following are FO-validities, but not tautologies? a. c = c ? c = c Tautology. b. ?x ¬Larger(x, x) Logical truth, but not FO-valid. c. ¬(Large(a) ? Adjoins(a, b)) TW-true, but not FO-valid. d. ?...

## Related Documents

Either...or Exam
Either...or Exam
Propositional Exam
Either...or Exam
Either...or Notes
Complete Formulas Notes
Propositional Exam
Either...or Notes
Either...or Notes