122 final 2.pdf - UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2010 MATH 122 Logic and Foundations Instructor Gary MacGillivray Check the box

122 final 2.pdf - UNIVERSITY OF VICTORIA DECEMBER...

This preview shows page 1 - 4 out of 12 pages.

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2010 MATH 122: Logic and Foundations Instructor: Gary MacGillivray. Check the box corresponding to your Section: [A01] (10:30 AM) CRN 14261 [A02] (11:30 AM) CRN 14262 NAME: V00#: Duration: 3 Hours. Answers should be written on the exam paper. The exam consists of 26 questions, for a total of 70 marks. Please show all of your work and justify your answers when appropriate. There are 11 pages (numbered), not including covers. Students must count the number of pages before beginning and report any discrepancy immediately to the invigilator. The only calculator permitted is the Sharp EL 510-R
MATH 122 - December 2010 1 1.[2]Suppose the statementp→ ¬qis FALSE. Circle all statements guaranteed to be TRUE.No justification is needed.• ¬(qp)• ¬pq• ¬pq• ¬(pq)2.[3]If the argument below is valid, then prove it, citing logical equivalences and inferencerules. Otherwise, give a counterexample to show that the argument is invalid. p → ¬ q ¬ r q ¬ r ¬ p
MATH 122 - December 2010 2

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture