QUESTION 1. For each of the following, state whether the
occurrence of the variable x occurs bound, or
free (i.e. unbound),
both, or neither.
1. ∃xCube(x)
2. ∀xCube(a) ∧ Cube(x)
3. ∀x((Cube(a) ∧ Tet(b)) → ¬Dodec(x))
4. ∃yBetween(a,x,y)
5. ¬∀x¬(¬Small(d) ∧ ¬LeftOf(c,x))
QUESTION 2. Correctly label each of the following strings of
symbols as a sentence, or well-formed
formula (but not a sentence), or
neither.
1. Fx ∧ Gy
2. ∃bFb
3. ∃z(Fz → Gb)
4. ∀xFc
5. ∀yFy ∨...