Determinar para cada aparición de variables, si dicha aparición se encuentra libre o ligada. En caso de estar ligada, aclarar a qué cuantificado...
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)
Compartir