Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
  • If $\quad p \implies q\quad $ ($p$ implies $q$), then $p$ is a sufficient condition for $q$.

  • If $\quad \bar p \implies \bar q \quad$ (not $p$ implies not $q$), then $p$ is a necessary condition for $q$.

I don't understand what sufficient and necessary mean in this case. How do you know which one is necessary and which one is sufficient?

share|improve this question
2  
Those are the definitions of necessary and of sufficient. –  Zhen Lin Dec 11 '12 at 9:37
    
Are you aware that $\bar p \implies \bar q$ is the logical equivalent of $q \implies p$ ? Do you know what "necessary" and "sufficient" mean in the English language? –  DanielV Nov 11 at 8:55

2 Answers 2

Suppose first that $p$ implies $q$. Then knowing that $p$ is true is sufficient (i.e., enough evidence) for you to conclude that $q$ is true. It’s possible that $q$ could be true even if $p$ weren’t, but having $p$ true ensures that $q$ is also true.

Now suppose that $\text{not-}p$ implies $\text{not-}q$. If you know that $p$ is false, i.e., that $\text{not-}p$ is true, then you know that $\text{not-}q$ is true, i.e., that $q$ is false. Thus, in order for $q$ to be true, $p$ must be true: without that, you automatically get that $q$ is false. In other words, in order for $q$ to be true, it’s necessary that $p$ be true; you can’t have $q$ true while $p$ is false.

share|improve this answer
1  
As usual, I will point out that a downvote not accompanied by an explanatory comment is less than useful. –  Brian M. Scott Dec 11 '12 at 12:46
    
how do you know that p is true or not? –  cloud9resident Dec 12 '12 at 8:44
2  
@cloud9resident: You don’t know. Whether $p$ is true or not is a completely separate issue from whether it is a necessary or sufficient condition for $q$. The latter does not depend in any way on the truth or falsity of $p$. –  Brian M. Scott Dec 12 '12 at 8:46

I always think of it in terms of sets.

enter image description here

In the picture above, for an element to be purple, it's necessary to be red, but it is not sufficient.

The same holds for the blue set, to be in the blue set is a necessary condition in order to be purple, but it is not enough, it's not sufficient.

A sufficient condition is stronger than a necessary condition. If you tell me that you have a red or blue element I can't say for sure if it is in the purple set, but if you tell me that you have a purple element I now for sure that it is in the red and blue sets.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.