MATC09H3 Final: MATC09 Final Exam Fall 2015
Document Summary
Matc09 - introduction to mathematical logic - midterm test. Instructions: this test paper has 9 numbered pages. It is your responsibility to ensure that all of these pages are included: put your answers to the part a true/false questions in the boxes below. Put your solutions and/or rough work to the part b full solutions questions in the answer space provided. If you need extra space, use the back of a page or blank page 9: calculators, other electronic devices, notes, textbooks, and foods are forbidden at your workspace. Scrap paper is provided, but it will not be included with your test or marked. Be sure that whatever you want marked is actually written in this test booklet. You may write in pen, pencil, or other ink. W = {well-formed formulas of 1st order logic} L s p = {sentence symbols of sentential logic} Informal/abbreviated punctuation for w "s may be used/stated without justi cation.
