I'm practicing writing FOL sentences and I have the following sentences. The first sentence is the solution I provided and the second is the correct solution ( per the solutions manual).The difference is where I've placed ∃z. I understand there is a difference in scope but I don't understand how that difference is applied to the predicates.
- ∀x (Txi => ∃y∃z(Txy ∧ Tyz ∧ Vz))
- ∀x (Txi => ∃y(Txy ∧ ∃z(Tyz ∧ Vz))