CSC165H1 Study Guide - Midterm Guide: Propositional Formula, Mersenne Prime, Natural Number
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
Please read the following guidelines carefully: please write your name on both the front and back of this exam, this examination has 4 questions. You may not de ne your own sets or predicates unless asked to do so: all formulas must have negations applied directly to propositional variables or predicates (e. g. , You do not need to show your work for computing negations: in your proofs, you may always use de nitions of predicates. Midterm 1, version 1: [6 marks] statements in logic. (a) [3 marks] write the truth table for the following formula. No rough work is required. (cid:0)(p q) r(cid:1) p. Hint: use vacuous truth to quickly nd some rows where the formula is true. Solution (cid:0)(p q) r(cid:1) p. T t t (b) [3 marks] consider the pair of statements: (1) n n, p (n) q(n) (2) n n, p (n) q(n)
