Tema 54

Proposiciones derivadas de una condicional

Matemticas
Con las dos proposiciones p y q que conforman la condicional
p q, se pueden formar tres condicionales que reciben nombres
especiales y cuyo valor de verdad estudiaremos seguidamente.
Consideremos la proposicin condicional p q: Si estudias juiciosamente aprobars el examen.
qp

p q

q p

Si apruebas
el examen,
entonces estudias
juiciosamente.

Si no estudias
juiciosamente,
entonces no aprobars
el examen.

Si no apruebas el
examen, entonces
no estudias
juiciosamente.

Se intercambian las
proposiciones simples
que conforman la
condicional.

Se niegan las
proposiciones simples
que conforman la
condicional.

Se niegan e
intercambian las
proposiciones simples
que forman la
condicional.

Comparemos los valores de verdad de una condicional con los de

la conversa, la inversa y la contrarecproca obtenidas a partir de
ella.
Proposicin: (p q) Si dos ngulos son opuestos por el vrtice
entonces son congruentes.

1. Conversa: (q p) Si dos ngulos son

congruentes entonces son opuestos por el vrtice. La figura muestra
dos ngulos congruentes que no son
opuestos por el vrtice. Luego, si la
proposicin condicional es verdadera,
no puede asegurarse que su conversa
sea verdadera.
2. Inversa: (p q) Si dos ngulos no
son opuestos por el vrtice, entonces
no son congruentes. La figura ilustra
dos ngulos que no son opuestos por
el vrtice y sin embargo son congruentes. Luego, si la proposicin condicional es verdadera, no puede asegurarse que su inversa sea verdadera.
3. Contrarrecproca: (q p) Si dos
ngulos no son congruentes, entonces no son opuestos por el vrtice. La
figura ilustra dos ngulos con vrtice
comn que no son congruentes y entonces no son opuestos por el vrtice
porque los rayos que son sus lados no
forman rectas. Luego, si la proposicin
condicional es verdadera, podemos
asegurar que la contrarrecproca o
contrapositiva es verdadera; por ello
se tiene otra forma de argumentar
lgicamente.

Matemticas

dgitos no forman un mltiplo de 4. Cul es la condicional?

Es una conclusin vlida? ___________________________
____________________________

Ley contrapositiva o contrarrecproca

Premisa1: p q
Conclusin: q p
As, cada vez que tenemos una proposicin condicional, podremos remplazarla por su contrapositiva en cualquier razonamiento.
Cuando p q y q p son ambas verdaderas, pueden combinarse para formar una sola proposicin llamada bicondicional
(p q): dos rectas cortadas por una transversal son paralelas si
y slo si los ngulos alternos internos son congruentes. Todas las
definiciones geomtricas se pueden expresar como bicondicionales, as: Un cuadriltero es un paralelogramo si y slo si tiene
dos pares de lados opuestos paralelos.
1

Para cada proposicin condicional construye las condicionales derivadas.

a. Si un nmero es par su consecutivo es impar.
__________________________
b. Si un trapecio es issceles sus ngulos de la base son
congruentes. _______________________________

Si supones que las condicionales del ejercicio anterior son

verdaderas, cul es el valor de verdad de sus conversas o
recprocas? Y de sus inversas o contrarias? Y de las contrarrecprocas o contrapositivas? _______________________

La proposicin contrapositiva de una condicional dice: Si

un nmero no es mltiplo de 4 entonces sus dos ltimos

Cules son los valores de verdad de las condicionales derivadas de la siguiente proposicin: si un perro ladra entonces no muerde. ____________________________________

Un aviso dice: Si viene los domingos no encontrar servicio.

Cul de las proposiciones derivadas tiene el mismo valor
de verdad? Ennciala. _____________________________

Representa un diagrama en el cual sea evidente la siguiente expresin: si x es un nmero racional entonces es un
nmero real.

Representa grficamente las condicionales derivadas de sta.

Interpreta el valor de verdad de los diagramas.
7

Usa la ley contrapositiva o contrarrecproca para obtener

conclusiones vlidas.
a. Si mi apellido es Salgado, entonces mi padre es apellido Salgado. ___________________________________
b. Si dos ngulos agudos de un tringulo
miden cada uno 45, el tringulo es rectngulo.
____________________________

Enuncia la siguiente definicin como una bicondicional:

Un nmero primo solo tiene dos divisores. Explica.

Matemticas
9

Si un nmero entero es divisible por a entonces es mltiplo de a y Si un nmero es mltiplo de a entonces tiene la forma ma. Se concluye: Si un nmero no tiene la
forma ma entonces no es divisible por a. Es correcto
este razonamiento? Diagrmalo y explica la conclusin.
_____________________________

10

Para cada proposicin, determina su conversa y el valor de

verdad de ambas. Si es posible, construye la bicondicional.
a. Si un paralelogramo es equiltero es un cuadrado.
________________________
b. Si un trapecio es issceles es equiltero. ____________
_____________________

11

Para el siguiente conjunto de premisas encuentra una conclusin:

Premisa 1 : q
Premisa 2 : q r
Premisa 3 : p q

12

Si para una funcin f(x) = f(x) se dice que la funcin es

par. Una funcin no es inyectiva, si para dos valores diferentes de su dominio f tiene la misma imagen. Se puede
concluir que, si una funcin no es inyectiva entonces es
par? _______________________