You are on page 1of 1

1. Sean a, b, c enteros.

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)

You might also like