A conditional statement is of the form A→B. Truth tables suggest that the converse, B→A ≠ A→B. It is also known that any two vectors A and B are perpendicular if and only if their dot products are zero. My confusion is... A dot B = 0 → A and B are perpendicular. The converse is also true. Why does this not agree with truth tables?