I've noticed this (backward steps) with some friends. I think it's because people don't think logically with math notation--they just play with symbols until they get the sentence they want.
To get around this, I just get people to argue aloud. People wear their logic hats again when they have to talk to a human and convince them of something.