Sufficiency and Necessity in Language and Math

  • Context: Undergrad 
  • Thread starter Thread starter Ahmad Kishki
  • Start date Start date
  • Tags Tags
    Language
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
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   Reactions: 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   Reactions: 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   Reactions: Ahmad Kishki and DEvens
Thank you all, it was just a linguistic error on my part :)