MATC09H3 Midterm: MATC09 Midterm Exam Fall 2016
Document Summary
Matc09 - introduction to mathematical logic - midterm test. Instructions: this test paper has 8 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 8: 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. Lp = the language of 0-order logic w = a well-formed formula. W = {well-formed formulas of 1st order logic} L s p = {sentence symbols of 0-order logic}
