MATC09H3 Final: MATC09 Final Exam Fall 2016
Document Summary
Read these instructions: this examination has 11 numbered pages. At the beginning of the exam check that all of these are included: if you need extra space for any question, use the back of a page or the blank page at the end. 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. 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. T = set of tautologies of a 1st-order language. = set of axioms of a 1-st order language. T = set of terms of a 1st-order language.
