Proposiciones condicionales

CK12 Editor

Say Thanks to the Authors

Click http://www.ck12.org/saythanks
(No sign in required)

To access a customizable version of this book, as well as other

interactive content, visit www.ck12.org

CK-12 Foundation is a non-profit organization with a mission to

reduce the cost of textbook materials for the K-12 market both
in the U.S. and worldwide. Using an open-content, web-based
collaborative model termed the FlexBook, CK-12 intends to
pioneer the generation and distribution of high-quality educational
content that will serve both as core text as well as provide an
adaptive environment for learning, powered through the FlexBook
Platform.
Copyright 2014 CK-12 Foundation, www.ck12.org
The names CK-12 and CK12 and associated logos and the
terms FlexBook and FlexBook Platform (collectively
CK-12 Marks) are trademarks and service marks of CK-12
Foundation and are protected by federal, state, and international
laws.
Any form of reproduction of this book in any format or medium,
in whole or in sections must include the referral attribution link
http://www.ck12.org/saythanks (placed in a visible location) in
addition to the following terms.
Except as otherwise noted, all CK-12 Content (including CK-12
Curriculum Material) is made available to Users in accordance
with the Creative Commons Attribution-Non-Commercial 3.0
Unported (CC BY-NC 3.0) License (http://creativecommons.org/
licenses/by-nc/3.0/), as amended and updated by Creative Commons from time to time (the CC License), which is incorporated
herein by this reference.
Complete terms can be found at http://www.ck12.org/terms.
Printed: July 30, 2014

AUTHOR
CK12 Editor

www.ck12.org

C HAPTER

Chapter 1. Proposiciones condicionales

Proposiciones
condicionales

Objetivos de aprendizaje

Reconocer proposiciones "si-entonces".

Identificar la hiptesis y la conclusin de una proposicin "si-entonces".
Escribir proposiciones recproca, inversa y contrarrecproca (transposicin) de una proposicin "si-entonces".
Entender una proposicin bicondicional.

Introduccin
En geometra, razonamos a partir de hechos y relaciones conocidos para crear otros nuevos. Anteriormente, ya
viste que el razonamiento inductivo puede ayudar, pero no prueba nada y es por eso que necesitamos otra clase de
razonamiento. Ahora, comenzars a aprender sobre razonamiento deductivo, que es el tipo de razonamiento usado
en matemtica y ciencia.

Proposiciones "si-entonces"
Tanto en geometra como en la vida cotidiana constantemente hacemos proposiciones condicionales o si-entonces.

Proposicin 1: Si hace buen tiempo, lavar el automvil (entonces est implcito aunque no est escrito).
Proposicin 2: Si trabajas horas extra, entonces te pagarn jornada y media.
Proposicin 3: Si 2 es divisor de x, entonces x es un nmero par.
Proposicin 4: Si un tringulo tiene tres lados congruentes, es un tringulo equiltero (entonces est
implcito. Esta es una definicin).
Proposicin 5: Todo tringulo equingulo es equiltero (si y entonces estn ambos implcitos).
Una proposicin "si-entonces" consta de dos partes.
La parte si, llamada la hiptesis.
La parte entonces, llamada la conclusin.
Por ejemplo, en la segunda proposicin de las listadas anteriormente, la hiptesis es trabajas horas extra y la
conclusin es te pagarn jornada y media.
Mira la primera proposicin. Aun cuando la palabra entonces, en efecto, no est presente, la afirmacin podra ser
escrita como: Si hace buen tiempo, "entonces" lavar el automvil. Este es el significado de la primera proposicin.
La hiptesis es "si hace buen tiempo" y la conclusin "lavar el automvil".
La proposicin 5 es un poco ms complicada. Tanto "si" como "entonces" estn implcitos sin ser manifiestos. La
proposicin puede reescribirse como: Si un tringulo es "equingulo", entonces es "equiltero.
1

www.ck12.org
Qu es lo que implica una proposicin "si-entonces"? Supn que un amigo tuyo hace otra proposicin a la
proposicin 2, que agrega otro hecho.
Si trabajas horas extra, entonces te pagarn jornada y media.
Trabajaste tiempo extra esta semana.
Si aceptamos estas afirmaciones como ciertas, qu otro hecho "debe" ser verdadero? Combinando estas dos
proposiciones, podemos establecer sin lugar a dudas que:
Te pagarn jornada y media esta semana.
Analicemos la proposicin 1, la cual puede volverse a escribir como: Si hace buen tiempo, lavar el automvil.
Supn que aceptamos la proposicin 1 y otro hecho: Lavar el automvil.
Podemos concluir algo ms a partir de estas dos proposiciones? No. Aun cuando "no" haga buen tiempo, es
probable que lave el automvil. Nosotros "sabemos" que si hace buen tiempo, lavar el automvil; pero "no
sabemos" si quizs lave el automvil aun si "no" hace buen tiempo.

Proposicin recproca, inversa y contrarrecproca de una condicional ("si-entonces")

Mira otra vez la proposicin 1 de arriba.

Si hace buen tiempo, entonces lavar el automvil.
Esto puede representarse en un diagrama como:
Si p, entonces q.

p = hace buen tiempo

amp; q = lavare el automovil

Si p, entonces q se puede escribir tambin como

pq
Fjate que las proposiciones, las hiptesis y las conclusiones pueden ser falsas o verdaderas. p,q y la proposicin si
p, entonces q podran ser verdaderas o falsas.
Algunas veces, en el razonamiento inductivo, estudiamos proposiciones relacionadas a una proposicin "si-entonces"
ya dada. Estas son formadas por p,q y sus opuestos o negaciones (no). Nota que no p est escrita simblicamente como p.
p, q,p y q pueden ser combinadas para producir una nueva proposicin "si-entonces".
La recproca de p q es q p.
La inversa de p q es p q.
La contrarrecproca de p q es q p.
Ahora regresemos a la proposicin 1: Si hace buen tiempo, entonces lavar el automvil.
2

www.ck12.org

Chapter 1. Proposiciones condicionales

pq

amp; p = hace buen tiempo

amp; q = lavare el automovil
p = no hace buen tiempo
amp; q = lavare el automovil (o lavo el autom3 vil)
q = no lavare el automovil (o no lavo el automovil)

Recproca
q p Si lavo el automvil, entonces hace buen tiempo.

Inversa
p q Si no hace buen tiempo, entonces no lavar el automvil.

Contrarrecproca
q p Si no lavo el automvil, entonces no hace buen tiempo.

Fjate que si aceptamos la proposicin 1 como verdadera, entonces la recproca y la inversa podran o no ser verdaderas; pero la contrarrecproca s lo es. Otra forma de decirlo es: La proposicin contrarrecproca es lgicamente
equivalente a la proposicin original "si-entonces". En el futuro, es probable que te pidan probar una proposicin
"si-entonces". Si es ms fcil probar la contrarrecproca, entonces hazlo, ya que tanto la proposicin como su
contrarrecproca son equivalentes.
Ejemplo 1
Proposicin:
Si n > 2, entonces n2 > 4. Verdadero.
Recproca:
Si n2 > 4, entonces n > 2. Falso.
Una contraejemplo es n = 3, donde n2 = 9 > 4, pero n = 3 no es > 2
Inversa:
Si n no es > 2, entonces n2 no es > 4. Falso.
Un contraejemplo es n = 3, donde n no es > 2, pero n2 = 9 > 4.
Contrarrecproca:
Si n2 no es > 4, entonces n no es > 2. Verdadero.
Si n2 no es > 4 , entonces 2 < n < 2 y n no es > 2.
Ejemplo 2
Proposicin: Si AB = BC, entonces B es el centro de AC. Falso (como se muestra a continuacin).
3

www.ck12.org

Necesita AB = BC
Recproca: Si B es el centro de AC, entonces AB = BC. Verdadero.
Inversa: Si AB 6= BC, entonces B no es el centro de AC. Verdadero.
Contrarrecproca: Si B no es el centro de AC, entonces AB 6= BC. Falso (mira el diagrama anterior).

Proposiciones bicondicionales
Recuerdas que el recproco de si p, entonces q es si q, entonces p. Cuando usamos ambas proposiciones
combinadas, tendremos una proposicin bicondicional.
Bicondicional: p q y q p.
Simblicamente, se escribe como: p q.
Leemos p q como p si y solo si q.
Ejemplo 3
Proposicin verdadera: m6 ABC > 90 si y solo si 6 ABC es un ngulo obtuso.
Puedes separarlo diciendo:
Si m6 ABC > 90 , entonces 6 ABC es un ngulo obtuso, y si 6 ABC es un ngulo obtuso, entonces m6 ABC > 90 .
Fjate que ambas partes de la proposicin bicondicional son ciertas, entonces toda la proposicin bicondicional ser
cierta.
T te figurars ms esto como una definicin de un ngulo obtuso.
Las definiciones geomtricas son proposiciones bicondicionales que son verdaderas.
Ejemplo 4
Hagamos que p sea x < 10.
Hagamos que q sea 2x < 50.
a. Es pq verdadero?
S.
p q quiere decir: si x < 10, entonces 2x < 50.
De lgebra sabemos que si x < 10, entonces 2x < 2(10) y 2x < 20. Si 2x < 20, entonces sabemos que 2x < 50.
De esta manera, si x < 10, entonces 2x < 50 o p q, es verdadero.
4

www.ck12.org

Chapter 1. Proposiciones condicionales

b. Es q p verdadero?
No.
q p es si 2x < 50, entonces x < 10.
De lgebra sabemos que si 2x < 50, entonces x < 25.
De todas formas, x < 25 no garantiza que x < 10.
x puede ser menor que 25, pero aun as no ser menor que 10, por ejemplo, si x es 20.
As, si 2x < 50, entonces x < 10 o q p, es falso.
c. Es p q verdadero?
No.
p q es x < 10 si y solo si 2x < 50.
De lo anterior vemos que si parte de esta proposicin, en la que dice
Si 2x < 50, entonces x < 10.
Esta proposicin es falsa. Un contraejemplo es x = 20.
Nota que tanto si p q o q p es falso, entonces p q es falso.

Resumen de la leccin
En esta leccin has aprendido cmo expresar proposiciones matemticas y de otro tipo en la forma de si-entonces.
Tambin aprendiste que cada proposicin si-entonces est ligada a variaciones de su forma bsica de si p,
entonces q. Estas variaciones son recproca, inversa y contrarrecproca de la proposicin si-entonces. Las
proposiciones bicondicionales combinan la proposicin y su recproca en una sola afirmacin o proposicin si
y solo si. Las definiciones son un tipo importante de proposicin de bicondicional o si-y-solo-si.

Puntos a considerar
Llamamos a los puntos, lneas y planos como los bloques constructivos de la geometra. Pronto veremos que la
hiptesis, la conclusin, as como las proposiciones si-entonces y las si-y-solo-si son los bloques constructivos del
razonamiento deductivo, o lgica, con los cuales est construido. Este tipo de razonamiento te ser de mucha utilidad
en todo tu estudio de la geometra. De hecho, una vez entiendas el razonamiento lgico encontrars que es aplicable
en otros campos de estudio y en la informacin que encuentres a lo largo de tu vida.

Preguntas de repaso
Escribe la hiptesis y la conclusin para cada proposicin.
1.
2.
3.
4.
5.

Si 2 es divisor de x, entonces x es un nmero par.

Si un tringulo tiene tres lados congruentes, entonces es un tringulo equiltero.
Todos los tringulos equingulos son equilteros.
Cul es la recproca de proposicin del ejercicio 1? Es verdadera la recproca?
Cul es la inversa de la proposicin del ejercicio 2 anterior? Es verdadera la inversa?
5

www.ck12.org
6. Cul es la contrarrecproca de la proposicin que aparece en el ejercicio 3? Es verdadera la contrarrecproca?
7. La recproca de una proposicin sobre puntos colineales A, B y C es: Si AB = 5 y BC = 5, entonces B es el
centro de AC.
Cul es la proposicin?
Es verdadera?
8. Cul es la inversa de la inversa si p, entonces q?
9. Cul es el nombre, en una palabra, para la recporca de la inversa de una proposicin si-entonces?
10. Cul es el nombre, en una palabra, para la inversa de la recporca de una proposicin si-entonces?
Para cada una de las siguientes proposiciones bicondicionales:

Escribe p en palabras.
Escribe q en palabras.
Es p q verdadera?
Es q p verdadera?
Es p q verdadera?

Fjate que, en estas preguntas, p y q podran ser recprocas y las respuestas estar correctas.
11.
12.
13.
14.

Un ciudadano estadounidense puede votar si y solo si l o ella es tiene 18 aos o ms de edad.

Un nmero es primo si y solo si es un nmero impar.
Los puntos son colineales si y solo si existe una lnea que contiene a los puntos.
x + y = 17 si y solo si x = 8 y y = 9.

Respuestas de las preguntas de repaso

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

Hiptesis: 2 es divisor de x; conclusin: x es un nmero par.

Hiptesis: Un tringulo tiene tres lados congruentes; conclusin: es un tringulo equiltero.
Hiptesis: Un tringulo es equingulo; conclusin, el tringulo es equiltero.
Si x es un nmero par, entonces 2 es divisor x. Verdadero.
Si un tringulo no tiene tres lados congruentes, entonces no es un tringulo equiltero. Verdadero.
Si un tringulo no es equiltero, entonces no es equingulo. Verdadero.
Si B es el centro de AC, entonces AB = 5 y BC = 5. Falso (AB y BC ambos podran ser 6, 7, etc.).
Si p, entonces q.
Contrarrecproca.
Contrarrecproca.
p = l o ella tiene 18 aos o ms; q = un ciudadano estadounidense puede votar; p q es verdadero; q p
es verdadero; p q es verdadero.
12. p = es un nmero entero impar; q = es un nmero entero primo; p q es falso; q p es falso; p q es
falso.
13. p = una lnea que contiene los puntos; q = los puntos son colineales; p q es verdadero; q p es verdadero;
p q es verdadero.
14. p = x = 8 y y = 9; q = x + y = 17; p q es verdadero; q p es falso; p q es falso.