If and only if versus if .... then

  • Context: High School 
  • Thread starter Thread starter inthenickoftime
  • Start date Start date
Click For Summary
SUMMARY

The discussion clarifies the distinction between "if and only if" and "if ... then" as used by Herb Gross in his calculus lectures. "If and only if" (denoted as p ↔ q) indicates a biconditional relationship, encompassing both implications p → q and q → p. In contrast, "if ... then" (p → q) represents a unidirectional implication. The author emphasizes that while the situations may appear identical, the usage of these terms is not interchangeable and serves different logical purposes.

PREREQUISITES
  • Understanding of propositional logic and implications
  • Familiarity with biconditional statements
  • Basic knowledge of calculus concepts
  • Ability to interpret mathematical notation
NEXT STEPS
  • Study the differences between biconditional and conditional statements in logic
  • Learn about implications in propositional calculus
  • Explore the logical structures of mathematical proofs
  • Review Herb Gross's lectures on calculus for practical applications of these concepts
USEFUL FOR

Students of mathematics, educators teaching calculus, and anyone interested in understanding logical reasoning in mathematical contexts.

inthenickoftime
Messages
17
Reaction score
2
TL;DR
Author seems to use both in similar/identical context.
I found a really nice set of lectures by Herb Gross on the subject of calculus, but I'm confused by his usage of if and only if and if ... then in his supplementary notes.

1.jpg
2.jpg

It seems to me that he describes identical situations on both pages, but in one case the author uses the wording "if and only if" while on the other page, an "if ... then" expression is found. Is he using them interchangeably here? Why did he change the wording the second time around? I need to make sure I understand his usage of underlined (red) expressions otherwise I won't be able to follow more elaborate arguments that will follow.
 
Last edited:
Physics news on Phys.org
inthenickoftime said:
It seems to me that he describes identical situations on both pages, but in one case the author uses the wording "if and only if" while on the other page, an "if ... then" expression is found.
Yes, the two situations seem identical to me
inthenickoftime said:
Is he using them interchangeably here?
I don't think so, even if the situations seem identical. Rather, I think he's just focusing on one direction, if .. then.

Probably you know, but for statements/propositions p and q, ##\text p \Leftrightarrow \text q## means the following two implications:
##\text p \Rightarrow \text q## and ##\text q \Rightarrow \text p##. On the first page, he's talking about the iff statement. On the second page he's talking about one of the latter pair of implications to make a point. I don't believe his intent is that they are interchangeable.
 
  • Like
Likes   Reactions: inthenickoftime
inthenickoftime said:
I found a really nice set of lectures by Herb Gross on the subject of calculus, but I'm confused by his usage of if and only if and if ... then in his supplementary notes.
Note that: "if ##A## then ##B##"means "##A \Rightarrow B##" or "##A## only if ##B##".

And "##B \Rightarrow A##"means "##A## if ##B##".
 
  • Like
Likes   Reactions: inthenickoftime

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 38 ·
2
Replies
38
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
4K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 8 ·
Replies
8
Views
917
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K