EECS 1019 Study Guide - Midterm Guide: First-Order Logic, Logical Connective, Nipple
![](https://s3.us-east-1.wasabisys.com/prealliance-avatars.oneclass.com/avatars/515914/small/RackMultipart20201118-71849-4b6192.png?1637711045)
![EECS 1019 Full Course Notes](https://new-docs-thumbs.oneclass.com/doc_thumbnails/list_view/2152519-class-notes-ca-york-eecs-1019-lecture2.jpg)
8
EECS 1019 Full Course Notes
Verified Note
8 documents
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.