MATC09H3 Final: MATC09 Final Exam Fall 2015 1
Document Summary
Read these instructions: this examination has 12 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 0-order logic. W p = set of w s of 0-order logic. T = set of tautologies of a 1st-order language. L s p = set of sentence symbols of 0-order logic. T p = set of tautologies of 0-order logic. W = set of w s of a 1st-order language. = set of axioms of a 1-st order language. 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.
