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 ) ]
Even after reading this, Nested Conditionals still confuse me.
I bolded the only 2 changes. Why is it wrong to translate 1 as 3 below?
I pursue only intuition; please do not answer with formal proofs or Truth Tables.
- (x) [ (y) ( Hx ⊃ Ly ) ⊃ Dxy ]