Escolar Documentos
Profissional Documentos
Cultura Documentos
CK12 Editor
AUTHOR
CK12 Editor
www.ck12.org
C HAPTER
Proposiciones
condicionales
Objetivos de aprendizaje
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.
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
pq
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
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.
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.