(z > 0) v (y = 0) v (z ≤ y)(1) (y < 1) → (z > y)(2) (y ≠ 0) → (z ≤ y)(3) (y = 2) → (z > y)(4) (y ≠ 7) v (y = 0)(5) (y = 2) v (y < 1)
(z > 0) v (y = 0) v (z ≤ y)
ResponderEliminar(1) (y < 1) → (z > y)
(2) (y ≠ 0) → (z ≤ y)
(3) (y = 2) → (z > y)
(4) (y ≠ 7) v (y = 0)
(5) (y = 2) v (y < 1)