{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# WA4 - 1(b Review Question 7.4 ∃ and ∀ Allow us to...

This preview shows pages 1–3. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the 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

{[ snackBarMessage ]}

### Page1 / 5

WA4 - 1(b Review Question 7.4 ∃ and ∀ Allow us to...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online