Source: p 498, A Concise Introduction to Logic (12 Ed, 2014) by Patrick Hurley
Any heavyweight can defeat any lightweight.
[1.] (x) [ Hx ⊃ (y)(Ly ⊃ Dxy) ]
I bolded the only change. Why is it wrong to translate 1 as 2 below?
I pursue only intuition; please do not answer with formal proofs or Truth Tables.
- (x) (y) [ Hx ⊃ (Ly ⊃ Dxy) ]