Unformatted text preview: the following statements: (a) ∀ x ∃ y such that x < y . (b) ∃ x ∀ y such that x ≤ y . 1...
View
Full Document
 Fall '10
 Girardi
 Addition, Multiplication, Ring, usual multiplication

Click to edit the document details