FinalM122S2016.pdf - UNIVERSITY OF VICTORIA APRIL EXAMINATIONS 2016 MATH 122 Logic and Foundations CRN 22116(A01 22117(A02 22118(A03 and 24254(A04

# FinalM122S2016.pdf - UNIVERSITY OF VICTORIA APRIL...

• Test Prep
• 11

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

UNIVERSITY OF VICTORIA APRIL EXAMINATIONS 2016 MATH 122: Logic and Foundations CRN: 22116 (A01), 22117 (A02), 22118 (A03), and 24254 (A04) INSTRUCTORS: G. MacGillivray (A01) K. Mynhardt (A02) J. Manzer (A03 & A04) NAME: V00#: Duration: 3 Hours. Answers are to be written on the exam paper. No calculator is necessary, but a Sharp EL-510R or a Sharp EL-510RNB calculator is allowed. This exam consists of 26 questions, for a total of 80 marks. Unless otherwise specified, in order to receive full or partial credit, you must show your work and justify your answers. There are 10 pages (numbered), not including covers. Students must count the number of pages before beginning and report any discrepancy immediately to the invigilator.
MATH 122 A01, A02, A03, & A04 – April 2016 1 1. [4] Suppose the statementpqis false. Find all combinations of truth values forp, q,andrsuch that the statement (¬rp)(r∧ ¬q) is true.2. [3] Use known logical equivalences to show thatq(pq) is a tautology.3. [2] Use the blank to indicate whether each statement is True or False. No justificationis necessary.The negation of the statementpqisp∧ ¬q.The converse of the statementp→ ¬qispq.The statementx,(x2= 2)(2x < x) is true for the universeQ.The statement “Every picture tells a story” has a hidden existential existentialquantifier.
MATH 122 A01, A02, A03, & A04 – April 2016 2