EECS 1019 Study Guide - Midterm Guide: Commutative Property, Universal Instantiation, Modus Ponens

• School: York University
• Department: Electrical Engineering and Computer Science
• Course: EECS 1019
• Professor: Suprakash Datta

Document Summary

Assignment 1 - solutions (released september 23 , 2014) [2 points] form the contrapositive of these statements: if you drop the course, you will not get a grade for the course at the end of the term. Solution: if you get a grade for the course at the end of the term, you did not drop the course: if a triangle is equilateral, it has 3 equal angles. If a triangle does not have three equal angles, it is not equilateral. [6 points] decide whether the inferences are valid in each case. Do not use truth tables in this question: (p q) r. 4. r: p r p q q. Solution 2: rewrite p r as p r. then. Disjunctive syllogism: x r, p(x) q(x) a r q(a) r(a) Solution: rewrite q(a) r(a) as q(a) r(a). Then: x r, p(x) q(x) premise p(a) q(a) 3: q(a) r(a) p(a) r(a)