This preview shows page 1. Sign up to view the full content.
Unformatted text preview: mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. a) Using only four propositional symbols, express the above statements in propositional logic b) Construct a truth table that shows the truth value of each sentence and indicate the models in which all of the sentences are true. c) Using the definition of entailment, answer the question Is the unicorn mythical? d) Using the definition of entailment, answer the question Is the unicorn horned? 3. [35 pts.] Do exercise 8.10 from the book (p. 317). 4. [10 pts.] Write down a firstorder logic sentence such that every world in which it is true contains exactly one object in its domain....
View Full
Document
 Spring '08
 Heflin

Click to edit the document details