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 first-order logic sentence such that every world in which it is true contains exactly one object in its domain....
View Full Document
- Spring '08
- Logic, Logical connective, Propositional calculus, First-order logic, Philosophical logic