On Sat, Aug 29, 2009 at 4:47 PM, Pavitra<celestialcognit...@gmail.com> wrote: > It occurs to me that R754(3) fails to establish a precedence relation > between legal and mathematical definitions.
I've never seen "if A, then B" used as iff as an _expression_-- to answer "is it true that if A, then B?". -- -c.
