what is the importance of knowing whether you are dealing with a conditional claim or quantifier member in sets, if A some B and A and /B are basically the same?

What does /(A->B) mean