Jorge Enrique Quiroz

Lectura 4: Tipos de condicionales, Condición necesaria y suficiente

Términos clave: Condicional: directo, recíproco, contrario y contrarrecíproco; condición necesaria y suficiente.
Condicionales llamará recíproco si intercambiamos el
En la lectura 2 estudiamos los enunciados de antecedente y el consecuente.
la forma; si – entonces a los que denominamos Escribe el recíproco del condicional directo:
condicionales como el siguiente:
Condicional directo:
Si este mes es febrero, entonces el mes tiene sólo 28
días. Si un ángulo es agudo, entonces la medida del
ángulo es menor que 90.
El antecedente es: este mes es febrero.
El consecuente es: febrero tiene sólo 28 días. Condicional recíproco:
Un condicional puede ser verdadero o falso. Para Si la medida de un ángulo es menor que 90,
demostrar que un condicional es verdadero, entonces el ángulo es agudo.
debemos mostrar que cada vez que el antecedente es
Valor de verdad del recíproco de un condicional
verdadero, el consecuente también es verdadero.
Para demostrar que un condicional es falso, es Considera este condicional verdadero. Escribe el
necesario encontrar un solo contraejemplo para el recíproco y determina su valor de verdad.
que el antecedente es verdadero y el consecuente es
Condicional directo:
falso.
Si una figura es un cuadrado, entonces tiene
Para demostrar que el condicional dado es falso, cuatro lados.
necesitamos hallar un contraejemplo, es decir,
mostrar que el antecedente es verdadero y el Condicional recíproco:
consecuente falso. Si una figura tiene cuatro lados, entonces
Febrero en el año 2020 es un contraejemplo. es un cuadrado.
Porque 2020 es año bisiesto y tiene 29 días. El
condicional es falso, porque febrero del 2020 es un El recíproco no es verdadero. Puedes mostrar
contraejemplo. un rectángulo que no es un cuadrado como un
contraejemplo para demostrar que es falso.
Utilizamos diagramas de Venn
Recuerda
Podemos utilizar diagramas de Venn para
comprender mejor la verdad de los enunciados
condicionales.
Si resides en Trujillo, Algunos condicionales pueden omitir la
entonces resides en La L
Residentes en palabra entonces. Si deseas, puedes insertarla
Libertad. La Libertad mentalmente.
TL Ejemplo
xTxL T
Si dos rectas no se cortan, ellas son paralelas.
Los elementos que Residentes
pertenecen al conjunto T Si dos rectas no se cortan, entonces son paralelas.
en Trujillo
pertenecen al conjunto L. Escribimos las formas de un condicional
T = {x / x reside en Trujillo} Dado un condicional directo, además del
L = {x / x reside en La Libertad} Dado un condicional, al que denominaremos
Recuerda directo, obtenemos otro condicional que se
La proposición de la forma si P, entonces Q que
escribiremos P  Q se denomina condicional. Es
falso si la hipótesis o antecedente P es verdadero y
la conclusión o consecuente Q es falso; es
verdadero en los demás casos.
Escribimos el recíproco de un condicional
1
recíproco, existe el contrario y
contrarrecíproco.
Condicional directo
Si x es par, entonces x es entero. p  q
Condicional recíproco
Si x es entero, entonces x es par. q  p
Condicional contrario
Si x no es par, entonces x no es entero. p 
q Condicional contrarrecíproco
Si x no es entero, entonces x no es par.q  p

2
 Condición necesaria y condición suficiente lógicamente
Lee los condicionales siguientes. ¿Cuáles son
verdaderos? ¿Cuáles falsos?
1. Si quieres estar en forma, entonces debes
hacer muchos ejercicios.
2. Si x + 5 = 12, entonces x = 7.
3. Si hoy no es un día laborable, entonces hoy
es sábado.
4. Si tocas el piano, entonces eres músico.
Condicionales verdaderos
Un condicional verdadero dice en realidad:
Si se cumple el antecedente, entonces se
cumplirá el consecuente.
Considera el condicional siguiente.
Si hay fuego, entonces hay oxígeno. ¿Cuál
condición garantizará que haya oxígeno?
La respuesta es: la ocurrencia de fuego.
La ocurrencia de fuego es condición suficiente para
garantizar que haya oxígeno.
Decir: Si P, entonces Q, significa,
el antecedente P es condición suficiente para que
ocurra el consecuente Q.
La presencia de oxígeno no garantiza que haya
fuego. El fuego no es resultado necesario de la
presencia de oxígeno. Mejor, el contrario es
verdadero. El oxígeno es necesario para que ocurra
fuego
Decir: Si P, entonces Q, significa,
la conclusión Q es condición necesaria para que
ocurra la hipótesis P.
Una condición necesaria es aquella en cuya
ausencia un acontecimiento no puede
desarrollarse. (No puede haber fuego a menos que
haya oxígeno.)
Una condición suficiente es aquella en cuya
presencia un acontecimiento debe producirse.
(Siempre que hay fuego, hay oxígeno.)
Ejemplo 1
Identificamos la condición necesaria y la
condición suficiente en el condicional:
Si eres miembro de este club, entonces pagas la
cuota cada mes.
Condición suficiente: Eres miembro de este club.
Condición necesaria: Pagas la cuota cada mes.
Condición necesaria y suficiente
Dos enunciados lógicamente equivalentes son
ambos verdaderos o ambos falsos. Un condicional
directo y su recíproco no necesariamente son
3
 equivalentes porque es posible que el condicional Jeqq:05-11-2021.
directo sea verdadero y el recíproco falso.
Condicional directo:
Si un triángulo es equilátero, entonces tiene los
tres lados congruentes.
Condicional recíproco:
Si un triángulo tiene los tres lados congruentes,
entonces es equilátero.
Cuando dos condicionales, el directo y el
recíproco, ambos son verdaderos como en el
ejemplo anterior, ellos pueden ser relacionados
por la frase si y solo si. Luego resulta el
bicondicional:
Un triángulo es equilátero si y solo si tiene sus
tres lados congruentes. P  Q
Un enunciado si y solo si es llamado enunciado
bicondicional.
En el bicondicional P si y solo si Q, P es
condición necesaria y suficiente para Q.
Bicondicional
Dados los condicionales:
Si dos rectas son perpendiculares,
entonces determinan 4 ángulos rectos. P 
Q
Si dos rectas determinan 4 ángulos rectos,
entonces las rectas son perpendiculares. Q  P
Dos rectas son perpendiculares si y solo si
determinan 4 ángulos rectos. P  Q
Denominamos bicondicional a la conjunción de
un condicional y su recíproco. Es verdadero si
ambos condicionales son verdaderos o ambos
falsos. Es falso; si ambos condicionales tienen
valores de verdad diferentes. Escribimos:
(2) PQoPQ
En el caso que los dos condicionales “P  Q” y “Q
 P” son verdaderos simultáneamente, se dice
que son recíprocos uno del otro.
Por ejemplo, los dos condicionales siguientes:
~(~P)  P (P  Q)  (~Q  ~P)
El condicional del segundo miembro es el contra
recíproco del primer miembro. En el
bicondicional “P  Q”, diremos
indiferentemente.
Para que
P Q PQ PQ
verdadera
V V V V
que P V F F F
[respectivamente F V V F
Q] sea verdadera. F F V V