Logical Implication versus Approaches

  • Context: Undergrad 
  • Thread starter Thread starter Noxide
  • Start date Start date
  • Tags Tags
    implication
Click For Summary
SUMMARY

The discussion centers on the confusion between the logical implication symbol (→) and its use in mathematical approaches, particularly in calculus. The logical implication is denoted as "p → q" and is primarily used in logic, while the approach symbol "x → positive infinity" is utilized in specific contexts such as limits. Participants agree that context typically clarifies which symbol is being used, with the logical implication often represented by "⇒" in broader mathematical applications.

PREREQUISITES
  • Understanding of logical implications in mathematics
  • Familiarity with calculus concepts, specifically limits
  • Knowledge of mathematical notation and symbols
  • Basic principles of logic
NEXT STEPS
  • Research the differences between logical implication and mathematical approaches in calculus
  • Learn about the use of the limit symbol in calculus
  • Explore the various representations of implications in different mathematical contexts
  • Study the application of logical symbols in formal logic
USEFUL FOR

Mathematicians, logic enthusiasts, students studying calculus, and anyone interested in the nuances of mathematical notation.

Noxide
Messages
120
Reaction score
0
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
 
Physics news on Phys.org
Noxide said:
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.
 

Similar threads

  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 11 ·
Replies
11
Views
16K
  • · Replies 15 ·
Replies
15
Views
2K