Partiremos de la proposición verdadera: ࢖ ֜ ࢗ

p: Está lloviendo q: Está nublado

݌ ֜ ݍ Está lloviendo ֜ Está nublado (V) Pues, si llueve, claramente está nublado
p es una condición suficiente para que se cumpla q. Es suficiente que llueva para que está nublado,
(Pero no es necesario)
q es una condición necesaria para p Es necesario que esté nublado para que llueva
(Pero no es suficiente)

׽ ݍ ֜׽ ݌ No está nublado ֜ No llueve (V) Pues, si no hay nubes, claramente no puede llover
׽ ݌ ֜׽ ݍ No llueve ֜ No está nublauo ሺFሻ Pues, puede no llover y estar el cielo nublado
Las proposiciones: ݌ ֜ ݍ y ׽ ݍ ֜׽ ݌ son equivalentes


Demostrar ݌ ֜ ݍ es equivalente a demostrar ׽ ݍ ֜׽ ݌ (reducción al absurdo)
En la proposición: ሺݔ ൌ ͵ ֜ ݔ
ଶ
ൌ ͻ), decimos que ሺݔ ൌ ͵ሻ es suficiente para que su cuadrado valga 9, « pero «
No necesariamente x tiene que valer 3 para que su cuadrado valga 9, pues (-3)
2
= 9
Es decir, la condición x=3 es suficiente pero no necesaria para que x
2
= 9
ݔ ൌ േ͵ es una condición necesaria y suficiente para que x
2
= 9, es decir: ( ݔ ൌ േ͵ ) ֞ ሺ x
2
= 9)
݌ ֜ ݍ ֞ ׽ ݍ ֜׽ ݌