Necessity and Sufficiency - Relationship Between Necessity and Sufficiency

Relationship Between Necessity and Sufficiency

A condition can be either necessary or sufficient without being the other. For instance, being a mammal (P) is necessary but not sufficient to being human (Q), and that a number q is rational (P) is sufficient but not necessary to q's being a real number (Q) (since there are real numbers that are not rational).

A condition can be both necessary and sufficient. For example, at present, "today is the Fourth of July" is a necessary and sufficient condition for "today is Independence Day in the United States." Similarly, a necessary and sufficient condition for invertibility of a matrix M is that M has a nonzero determinant.

Mathematically speaking, necessity and sufficiency are dual to one another. For any statements P and Q, the assertion that "P is necessary for Q" is equivalent to the assertion that "Q is sufficient for P." Another facet of this duality is that, as illustrated above, conjunctions of necessary conditions may achieve sufficiency, while disjunctions of sufficient conditions may achieve necessity. For a third facet, identify every mathematical predicate P with the set S(P) of objects for which P holds true; then asserting the necessity of P for Q is equivalent to claiming that S(P) is a superset of S(Q), while asserting the sufficiency of P for Q is equivalent to claiming that S(P) is a subset of S(Q).

Read more about this topic:  Necessity And Sufficiency

Famous quotes containing the words relationship, necessity and/or sufficiency:

    Christianity as an organized religion has not always had a harmonious relationship with the family. Unlike Judaism, it kept almost no rituals that took place in private homes. The esteem that monasticism and priestly celibacy enjoyed implied a denigration of marriage and parenthood.
    Beatrice Gottlieb, U.S. historian. The Family in the Western World from the Black Death to the Industrial Age, ch. 12, Oxford University Press (1993)

    I complacently accepted the social order in which I was brought up. I probably would have continued in my complacency if the happy necessity of self-support had not fallen to my lot; if self-support had not deepened and widened my contacts and my experience.
    Mary Barnett Gilson (1877–?)

    The worthiest man to be known, and for a pattern to be presented to the world, he is the man of whom we have most certain knowledge. He hath been declared and enlightened by the most clear-seeing men that ever were; the testimonies we have of him are in faithfulness and sufficiency most admirable.
    Michel de Montaigne (1533–1592)