This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 1. (b) Review Question 7.4 ∃ and ∀ Allow us to account for everything or part of something without explicitly writing it all out. Instead of having to write everyone’s names out which would create HUGE “name ∧ ∧ …” name list you can just use the all inclusive ∀. ∃ Same with . some names start with the letter C , It is very necessary to deal with all objects and some objects . in logic 2. Exercise 7.1, c & d (solve using predicate logic), A. I like apples and pears. A = I like apples P = I like pears A ∧ P B. When I eat apples and pears, I usually like to have a walk. A = when I eat apples P = when I eat pears T = I usually like to have a walk A ∧ P → T C. Every apple I have ever eaten has been delicious A = apple B = “I have eaten” function C = “has been delicious” function ∀ ( ) A x ∧ B→ C D. The fact that some pears are not delicious will not keep me from eating them....
View Full Document
- Summer '09
- Logic, Predicate logic, Quantification, Model theory