This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: ∀ x (Dodec(x) → Medium(x)) ∀ x (Medium(x) → LeftOf(x, a)) So, ∃ x (Dodec(x) ∧ LeftOf(x, a)) Consider the following premises (from Lewis Carroll). What conclusion(s) can be drawn from them? (1) Babies are illogical. (2) Nobody is despised who can manage a crocodile. (3) Illogical persons are despised. Predicate symbols needed: Baby(x), [ “x is a baby.” ] Logical(x) [ “x is logical.” ] CanManageCrocodile(x) [ “x can manage a crocodile.” ] Despised(x) [ “x is despised.” ] Translations: (1) (2) (3) Proof for ∀ x (Baby(x) → ¬ CanManageCrocodile(x)) or, “No baby can manage a crocodile.”...
View Full Document
This note was uploaded on 06/07/2011 for the course PHIL 110 taught by Professor ? during the Fall '06 term at South Carolina.
- Fall '06