EECS 1019 Study Guide - Midterm Guide: First-Order Logic, Logical Connective, Nipple

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

Document Summary

Instructor: s. datta: (6 points) propositional logic. (a) (2 points) construct a truth table for the implication p q. T (b) (2 points) let p be the proposition you have the u , q be the proposition you miss the nal examination and r be the proposition you pass the course . Express the following as an english sentence: (p r) (q r). Solution: if you have the u then you do not pass the course or if you miss the nal examination then you fo not pass the course. Write down the following using p, q and r and logical connectives (including negations): getting an a on the nal and doing every exercise in the book is su cient for getting an a in this class . Solution: (p q) p (p q) p q. Since the columns for p and p (p q) are identical in the truth table, they must be logically equivalent.