MATC09H3 Final: MATC09 Final Exam Fall 2013
Document Summary
Read these instructions: this examination has 11 numbered pages. Scrap paper is provided, but it will not be included with your exam nor marked: you may write in pencil, pen, or other ink. L p = the language of sentential logic. L s p = set of sentence symbols of sentential logic. W p = set of w s of sentential logic. W t p = set of tautologies of sentential logic. W = set of w s of a 1st-order language. W t = set of tautologies of a 1st-order language. = set of axioms of a 1-st order language. N + = {1, 2, 3, . i = if and only if . Predicate and function symbols may be written in either string or function notation. Informal/abbreviated punctuation may be used without justi cation or warning. Print clear letters for the true/false questions in these boxes: Do not write anything in the boxes below.
