Unformatted text preview: 2 ±or each of the following four propositions, determine if they are true or false for all natural numbers. a. ∀ x ∃ y (2 xy = 0). b. ∀ x ( x < 10→ ∀ y ( y < x→ y < 9)). c. ∃ y ∃ z ( y + z = 100). d. ∀ x ∃ y ( y > x ∧ ∃ z ( y + z = 100)). 3 Show that the statements A ⊆ B and A \ B = ∅ are equivalent by writing each in logical symbols and then showing that the resulting formulas are logically equivalent....
View
Full Document
 Fall '09
 LARSON
 Logic, Logical Form

Click to edit the document details