This preview shows page 1. Sign up to view the full content.
Unformatted text preview: x < y (true when x is less than y ) using the operators given above. That is, dont 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 innitely many primes as a quantied formula. Use the same repertoire of operators from the previous question. (There is no direct translation of innitely many in predicate logic so youll need to express this using quantiers.) 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

Click to edit the document details