∃x∃yP <-> ∃y∃xP
I need a proof for both directions, I know that the proof will require you to do a chaining of existential eliminations to get the final outcome.
Coins can be redeemed for fabulous gifts.
Log In
Sign Up
Get Answers For Free Most questions answered within 1 hours.