necessary condition

Share on Facebook Share on Twitter Email
(′nes·ə′ser·ē kən′dish·ən)

(mathematics) A mathematical statement that must be true if a given statement is true.


In mathematics, a condition that must be satisfied for a statement to be true, but that does not in and of itself make it true. For example, a necessary condition to become president of the United States is that a candidate be over thirty-five years of age, but just being over thirty-five does not make one president.

Oxford Dictionary of Mathematics:

Necessary and Sufficient Condition

Top

The implication qp can be read as ‘if q, then p’. When this is true, it may be said that q is a sufficient condition for p; that is, the truth of the ‘condition’ q is sufficient to ensure the truth of p. This means that p is true if q is true. On the other hand, when the implication pq holds, then q is a necessary condition for p; that is, the truth of the ‘condition’ q is a necessary consequence of the truth of p. This means that p is true only if q is true. When the implication between p and q holds both ways, p is true if and only if q is true, which may be written pq . Then q is a necessary and sufficient condition for p.

Post a question - any question - to the WikiAnswers community:

Copyrights:

Mentioned in

conditio sine qua non (philosophy)
Asch, Sholem (Quotes By)