I think so. The loosey-goosey language of "if" is usually (would need to actually check this) interpreted as an implication relationship "B if A" or "If A, the

I think so. The loosey-goosey language of "if" is usually (would need to actually check this) interpreted as an implication relationship "B if A" or "If A, then B" interpreted as A -> B The fallacy would then be to do the following A -> B B ------------ A On the other hand, iff is interpreted as A <=> B i.e. A -> B and B -> A So you can get A or B if you have B or A respectively.