Sufficiency and Necessity in Language and Math

  • Thread starter Thread starter Ahmad Kishki
  • Start date Start date
  • Tags Tags
    Language
Click For Summary
Sufficiency and necessity are distinct concepts in both language and mathematics. A sufficient condition means that if it is true, then a certain result follows, while a necessary condition means that the result cannot occur without it. For example, leaving the house is necessary to reach the office, but it is not sufficient on its own, as other actions are also required. Understanding the logical implications, "P is sufficient for Q" translates to P→Q, while "P is necessary for Q" translates to Q→P. Clarifying these terms can help bridge the gap between language and mathematical logic.
Ahmad Kishki
Messages
158
Reaction score
13
In english language i use sufficiency and necessity interchangeably to mean the same thing (is that right?) this is now preventing me from understanding the conditional connectives, and i fear i might end up remembering what each of the conditional statements mean (eg: for "Q is necessary condition for P" i could just remember that what comes first is the consequent) but i wanted it to come as naturally as the rest of the logical connectives. So can someone close the gap between the math and language here?

Thanks :)
 
Physics news on Phys.org
No, they are not the same at all. Sufficient means it will do something but is not necessary and other things might do that thing just as well. Necessary means you can't do the thing without it.
 
  • Like
Likes Ahmad Kishki
No, sufficient and necessary are not the same.

Sufficient means that if some condition is true then some result is true.
Necessary means that if some condition is not true then some result is not true.

It is necessary to leave my house in order to go to my office. If I do not leave my house I cannot go to the office. But it is not sufficient. If I leave my house other things have to happen before I get to the office.

If I go to the office then I have left my house. It is sufficient to know that I have left my house if I know that I have arrived at the office. But it is not necessary, since other things could indicate I have left my house.
 
  • Like
Likes Ahmad Kishki
To clarify, in logical language:
"P is sufficient for Q" ≡ P→Q
"P is necessary for Q" ≡ Q→P (which is the contrapositive of ~P→~Q from DEvens's post)
 
  • Like
Likes Ahmad Kishki and DEvens
Thank you all, it was just a linguistic error on my part :)
 
The standard _A " operator" maps a Null Hypothesis Ho into a decision set { Do not reject:=1 and reject :=0}. In this sense ( HA)_A , makes no sense. Since H0, HA aren't exhaustive, can we find an alternative operator, _A' , so that ( H_A)_A' makes sense? Isn't Pearson Neyman related to this? Hope I'm making sense. Edit: I was motivated by a superficial similarity of the idea with double transposition of matrices M, with ## (M^{T})^{T}=M##, and just wanted to see if it made sense to talk...

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • Sticky
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 23 ·
Replies
23
Views
4K
Replies
8
Views
4K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K