Determinar para cada aparición de variables, si dicha aparición se encuentra libre o ligada. En caso de estar ligada, aclarar a qué cuantificador lo está.

i) (∀x : Z)(0 ≤ x < n→ x+ y = z)
ii) (∀x : Z)((∀y : Z)((0 ≤ x < n ∧ 0 ≤ y < m)→ x+ y = z))
iii) (∀j : Z)(0 ≤ j < 10→ j < 0)
iv) s ∧ a < b− 1 ∧ ((∀j : Z)(a ≤ j < b→L 2 ∗ j < b ∨ s))
v) (∀j : Z)(j ≤ 0→ (∀j : Z)(j > 0→ j 6= 0))
vi) (∀j : Z)(j ≤ 0→ P (j))
vii) (∀j : Z)(j ≤ 0→ P (j)) ∧ P (j)