Universidad de Carabobo

Facultad de Ciencias Económicas y Sociales

Cátedra Introducción a la Matemática

Condición Necesaria y Suficiente

Teoría acerca de Condición Necesaria y Condición Suficiente

Lcdo. Luis Orozco

Magíster en Matemática y Computación
Profesor Agregado FaCES UC
Coordinador (E) Cátedra Introducción a la Matemática
 Condición Necesaria
Dado el condicional 𝑝 → 𝑞 , la condición contenida en el antecedente p es necesaria para justificar el
consecuente q siempre que si no se cumple p, entonces no puede cumplirse q.

Una forma para determinar si p es condición necesaria para q es verificar que el condicional
contrario ~𝑝 → ~𝑞 sea verdadero. Pero también, por equivalencia entre condicionales, puede
verificarse que el condicional recíproco 𝑞 → 𝑝 sea verdadero.

Ejemplo:

Si X es un número entero entonces X es divisible por cuatro

Solución:
En estos ejercicios, de condición necesaria y condición suficiente, el estudiante debe recordar todo
el contenido desarrollado en las asignaturas de su formación, debido a que son utilizados para
desarrollar las justificaciones y verificar la veracidad de las proposiciones.
 Condición Necesaria
Si X es un número entero entonces X es divisible por cuatro

p q
Antecedente Consecuente

Se debe probar que el condicional recíproco 𝑞 → 𝑝 sea verdadero. Pero también, por equivalencia
entre condicionales, puede verificarse que se cumpla el condicional contrario. En este caso se
probará el condicional recíproco.

Si X es divisible por cuatro entonces X es un número entero

q p
Justificación:
Si existe un número divisible por 4 (recordar teorema de divisibilidad) entonces es cierto que ese
número es un número entero. Por lo cual el condicional recíproco es verdadero, entonces se cumple
la condición necesaria.
 Condición Suficiente
Dado el condicional 𝑝 → 𝑞 , la condición contenida en el antecedente p es suficiente para justificar el
consecuente q siempre que si se cumple p, entonces debe cumplirse q.

Una forma para determinar si p es condición suficiente para q es verificar que el condicional
directo 𝑝 → 𝑞 sea verdadero. Pero también, por equivalencia entre condicionales, puede verificarse
que el condicional contrarrecíproco ~𝑞 → ~𝑝 sea verdadero.
.

Ejemplo:

Si X e Y son números impares entonces X+Y es es un número par

Solución:
En estos ejercicios, de condición necesaria y condición suficiente, el estudiante debe recordar todo
el contenido desarrollado en las asignaturas de su formación, debido a que son utilizados para
desarrollar las justificaciones y verificar la veracidad de las proposiciones.
 Condición Suficiente
Si X e Y son números impares entonces X+Y es es un número par

p q

Se debe probar que el condicional directo 𝑝 → 𝑞 sea verdadero. Pero también, por equivalencia
entre condicionales, puede verificarse que el condicional contrarrecíproco ~𝑞 → ~𝑝 sea verdadero.
En este caso se probará el condicional directo.

Si X e Y son números impares entonces X+Y es es un número par

p q
Justificación:
Si se tienen dos números impares y ambos se suman, es cierto que la suma de ellos es un número
par (recordar suma de números impares). ( 1+3=4 , 1+5=6 , 3+7= 10, …). Siempre se cumple. No hay
un contraejemplo.
Por lo tanto el condicional directo es verdadero, entonces se cumple la condición suficiente.
“La forma de emprender algo es dejando de hablar de ello y empezar a hacerlo”
WALT DISNEY