All math statements of the if A then B form?

[CRGreathouse]

I think we're done here.

 

[CompuChip]

Yes, everyone seems to agree with HallsOfIvy already, except for one person

 

[HallsofIvy]

Why when you substitute ...b---->a ,by B in ...a---->(b---->a) don't you hide the conditional ...a----->b?While is still there??

Hence...a----->(b----->a) it is not of the (if A then B ) form.

On the contray, it obviously is: A= a, B= (b---->a).

Your example is not very appropriate try to find another one

It was your example, not mine.