PDA

View Full Version : Logical Implication versus Approaches


Noxide
Dec21-09, 02:15 PM
Both the logical implication and approaches use the same symbol. Have the two ever been famously confused? Is it implied that one or the other only be used in a specific context?

logical
p --> q

approaches
x --> positive infinity

Landau
Dec21-09, 02:40 PM
Is it implied that one or the other only be used in a specific context?hehe, nice pun.

I don't think it would ever be hard to tell from the context which one is used. The "approach" symbol is used in specific sentences like "f(x)-> f(a) if x-> a", or under the \lim symbol.

Furthermore, the logical implication symbol \to is mostly used in the specific area of logic. In other areas of mathematics one often uses \Rightarrow for an implication.