A es condici贸n necesaria de B, si B no puede ser el caso si no es A; A es condici贸n suficiente de B, si, si A es el caso, es B.
(Haack, 1978).
La implicaci贸n A ⇒ B puede ser expresada como si A, entonces B. Si esa proposici贸n es verdadera, se acostumbra nombrar que A es condici贸n suficiente para B, en otros t茅rminos, la veracidad de A, basta para garantizar la de B. Esto significa que si A es verdadera, B, de igual modo, lo es.
De otra manera, si la implicaci贸n B ⇒ A es verdadera, A es condici贸n necesaria para B, es decir la veracidad de B comporta la de A. Lo que significa que B es verdadera s贸lo si A lo es.
Cuando se satisface la implicaci贸n en ambos sentidos, B es verdadera si y s贸lo si lo es A, caso que se puede denotar A ⇔ B, y significa que A es condici贸n necesaria y suficiente para B.
(Wikipedia).