Correct use of the implication symbol A lecturer mentioned that a common mistake people make in assignments is the incorrect use of the implication notation,  $\Rightarrow  $. I would like to clarify the correct use of the symbol as I am responsible for marking some first year assignments this term, and have been advised to deduct marks if students make this 'mistake'.
The symbol should be used, I am told, only when making a logical statement $A\Rightarrow B $, i.e. when the truth value is unknown. In other situations where we know $A $ is true, we should use the therefore symbol $\therefore $. So, for example, a mark would need to be deducted for the following answer:

Q: If $(a_n),(b_n) $ are positive, bounded real sequences, then $(a_nb_n) $ is also bounded.
I would not deduct any marks for the first answer.
What is an implication? It simply says "If A is true, then B is true". This is symbolically written as $A \implies B$. 
When the implication is false, there is some object having property $B$ that does not have property $A$. 
In the implication in question, it is clear that the author knows the context he is working in, and does not need another redundant statement to clarify to a well-read instructor that he is aware of the context. Therefore, there is nothing wrong with the logic of the question, I would detest a deduction of marks.
