EECS 1019 Lecture Notes - Lecture 1: First-Order Logic, Modus Ponens

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

Document Summary

Since this question confused many, here are some hints. You can use a similar format for answering the assignment questions. For the third part, study example 12 on page 76. Here are two more simple examples: p q q r p. Modus ponens q q r premise r: p r p q. Question 3: one way is to negate the sentence that the equation has at least one solution over the natural numbers. For this question and the next, de ne your own predicates as convenient: there are two parts to this question rst there exists a solution and second the solution is unique. One way of expressing the uniqueness is by saying that if there are two solutions they must be equal. [4 points] this question confused people because of parts like x n. some people suggested negating this would result in x (cid:54) n or something else.