Unformatted text preview: x < y (true when x is less than y ) using the operators given above. That is, don’t assume you have a predicate Even( x ) — show how to build it from the tools you have. What should the domain of discourse be? 3. (6) Express “There are inﬁnitely many primes” as a quantiﬁed formula. Use the same repertoire of operators from the previous question. (There is no direct translation of “inﬁnitely many” in predicate logic so you’ll need to express this using quantiﬁers.) 4. (6) If n and n +2 are both primes they are called twin primes . For example, 17 and 19 are twin primes. Express “There are a ﬁnite number of twin primes” using the same repertoire as above. 5. (4) Chapter 1.5, Problem 24 1...
View
Full
Document
 Fall '07
 YaoyunShi
 Logic, Predicate logic, Discrete Mathematics Homework, twin primes, quantiﬁed formula

Click to edit the document details