This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 1 (a) ∀ xP ( x ) ⇔ ¬∃ x ¬ P ( x ) True (b) ∃ xP ( x ) ⇔ ¬∀ xP ( x ) False 4. (10 points) Translate each of the following statements into logical ex-pressions using predicates, quanti±ers, and logical connectives. predicates: C(x): x is a CSE 260 student L(x): x loves music Universe of discourse for the variable x is all students. (a) Every student loves music ∀ x L ( x ) (b) No student loves music ∀ x ¬ L ( x ) (c) Some students love music ∃ x L ( x ) (d) Every CSE 260 student loves music. ∀ x ( C ( x ) → L ( x )) (e) Some CSE 260 students love music. ∃ x ( C ( x ) ∧ L ( x )) 2...
View Full Document
- Spring '08
- Logic, QUIZ-3 Predicate Logic, equivalent compound proposition