Welcome to Scribd!
Academic Documents
Professional Documents
Culture Documents
Hobbies & Crafts Documents
Personal Growth Documents
Taller No. 32
Demuestre o refute a. a > 1 ∧ a.|b ¬(a.|(b + 1)) b. a.|b ≡ (∀z|: z.|a z.|b) c. a=b ≡ (∀z|: z.|a ≡ z.|b)