CSC165H1 Study Guide - Midterm Guide: First-Order Logic, Contraposition, Proposition

• School: UTSG
• Department: Computer Science
• Course: CSC165H1
• Professor: All

Document Summary

You may ll out the identi cation section above before the test starts. Do not start the questions until you have received the signal to start: on this page, ll in your student number, name and. Utorid: on the back page, ll in your name, this term test consists of 4 questions on 10 pages (includ- ing this one), printed on both sides of the paper. In your answers, you may use without proof any theorem or result covered in lectures, tutorials or homework, as long as you give a clear statement of the result(s)/theorem(s) you are using. You must justify all other facts required for your solutions. Use a truth table to show that p q is logically equivalent to p q. If x is nonnegative then x is positive or x is 0. In the boxes below, write the converse and also the contrapositive of the given statement. Write your answer in english, not symbolic logic.