1
at
at
Clase 1: Proposiciones y Equivalencias
Matem aticas I
Denici on 1.1. Una proposici on es un enunciado que puede ser verdadero o falso. Ejemplos 1.2. Algunos ejemplos de proposiciones son El cielo es azul, Ma nana es Lunes, el no es vegetariano. Las siguientes no son proposiciones: Qu e d a es hoy?, Bravo!, No escribas esto.
UP
UP
p V V F F q p_q V V F V V V F F
1.
Proposiciones Simples
M
2013-2
Denici on 1.4. La negaci on u opuesto de una proposici on p es la proposici on con los valores p p opuestos y es denotada por p. Su tabla de verdad ser a entonces: V F F V
at
at
Denici on 2.1. La conjunci on de dos proposiciones p, q es la nueva proposici on p y q y es denotada por p ^ q . La disyunci on es la proposici on p o q y es denotada por p _ q . Las tablas de verdad de estas operaciones son p V V F F q p^q V V F F V F F F
2.
Proposiciones Compuestas
UP
UP 1 e M at
1
c 2013 Todos los derechos reservados. Prohibida su reproducci on parcial o total.
at
at
at
Hasta ahora todas las proposiciones que hemos presentados son simples en el sentido que no pueden ser divididas en una combinaci on de otras proposiciones. A continuaci on veremos c omo llevar a cabo dichas combinaciones.
Observaci on 1.6. Cu al es el opuesto de Todos los d as sale el sol? Un error com un es pensar que el opuesto es Nunca sale el sol, cuando de hecho el opuesto es Alg un d a no sale el sol. Esto lo estudiaremos en mayor profundidad cuando denamos cuanticadores.
UP
UP
Ejemplo 1.5. Si p = Ma nana es Lunes, entonces p = Ma nana no es Lunes.
Denici on 1.3. Si p es una proposici on sus posibles valores se representan por medio de una p tabla de verdad como la siguiente: V F
at
at
at
at
at
Denici on 2.3. La disyunci on exclusiva de dos proposiciones p, q es la nueva proposici on O p o q (pero no ambas al mismo tiempo) y es denotada por p Y q . Su tabla de verdad esta dada por p q V V V F F V F F pYq F V V F
UP
UP
p V V F F q p$q V V F F V F F V
Ejemplo 2.2. Si p = Termin o la tarea y q = Voy a la playa entonces la conjunci on es la expresi on Termin o la tarea y voy a la playa y la disyunci on es la expresi on Termin o la tarea o voy a la playa.
at
p V V F F
q p!q V V F F V V F V
at
at
Denici on 2.6. Dada la proposici on condicional p ! q denimos tres proposiciones asociadas.
UP
UP
Ejemplo 2.5. Si p = Termin e la tarea y q = Voy a la playa entonces la condicional ser a p ! q = Si termin e la tarea entonces voy a la playa. Los valores de la tabla de verdad de la condicional son claros en este caso cuando p es verdadero. Cuando p es falso p ! q es siempre verdadera porque la condicional no especica que deber a pasar si p es verdadero. La proposici on conversa o rec proca se dene como q ! p.
M M M at e at e
at
Ejemplo 2.7. Vimos que la proposici on Si termin e la tarea entonces voy a la playa es una condicional. En este caso la rec proca ser a Si voy a la playa entonces termin e la tarea, la inversa es Si no termin e la tarea entonces no voy a la playa y la contrapositiva ser a Si no voy a la playa entonces no termin e la tarea. Ejercicio 2.8. Dada la proposici on condicional p ! q construya las tablas de verdad de las proposiciones conversa, inversa, y contrapositiva.
Ejemplo 2.11. La proposici on p _ p es una tautolog a de la siguiente tabla.
at
at
Denici on 2.10. Una proposici on compuesta es una tautolog a cuando su tabla de verdad tiene solo valores verdaderos sin importar el valor de verdad de sus proposiciones simples.
UP
UP
Observaci on 2.9. Las proposiciones en esta secci on son llamadas compuestas porque son el resultado de una combinaci on de proposiciones simples.
at
La proposici on contrapositiva se dene como q ! p.
La proposici on inversa es la proposici on p ! q .
at
Denici on 2.4. Si p, q son proposiciones denimos la proposici on condicional como el enunciado Si p entonces q y la denotamos como p ! q . En este caso p se denomina el antecedente y q el consecuente. La proposici on bicondicional se dene como p si y solo si q y se denota por p $ q . Las tablas de verdad asociadas son
at
at
Ejercicio 2.12. Muestre que la siguiente proposici on es una tautolog a: Si hacer la tarea implica ir a la playa e ir a la playa implica broncearse, entonces hacer la tarea implica broncearse.
Denici on 3.1. Decimos que dos proposiciones compuestas P , Q son equivalentes si tienen la misma tabla de verdad y en este caso escribimos P Q.
p V V F F
q p V F F F V V F V
_ V F V V
at
at
Ejercicio 3.3. Demuestre cada una de las siguientes equivalencias p^pp (p ^ q ) ^ r p ^ (q ^ r ) (p _ q ) _ r p _ (q _ r ) p_q q_p p^q q^p ( p _ q ) p ^ q ( p ^ q ) p _ q
UP
p_pp
p ( p)
p ^ (q _ r ) (p ^ q ) _ (p ^ r )
at
Si una empresa tiene buenos empleados y dichos empleados trabajan duro entonces la empresa no quebrar a. Sea p = Una empresa tiene buenos empleados, q = Los empleados trabajan duro, y r = La empresa no quebrar a. La primera proposici on se puede representar por p ! (q ! r) y la segunda por (p ^ q ) ! r. Escribiendo la tabla de verdad vericamos la equivalencia
UP
UP
Si una empresa tiene buenos empleados, entonces si dichos empleados trabajan duro la empresa no quebrar a.
at
Ejemplo 3.4. Son las siguientes proposiciones equivalentes?
at
at
at
at
Las dos u ltimas equivalencias se denominan Leyes de De Morgan.
p ! q q ! p
p _ (q ^ r ) (p _ q ) ^ (p _ r )
UP
at
Ejemplo 3.2. La proposici on p ! q es equivalente a p _ q como podemos ver de la tabla. Esto quiere decir que la proposici on Si termin o la tarea entonces voy a la playa es equivalente a No termin o la tarea o voy a la playa.
UP
UP
3.
Equivalencias
p p V F
_ V V
p F V
at
at
p V V V V F F F F
q r p V V V F F V F F V V V F F V F F
! (q V F V V V V V V
! r) V F V V V F V V
at
at
(p
^ V V F F F F F F
q)
! V F V V V V V V
UP
Otra formar de probar que que estas proposiciones son equivalentes es usando las equivalencias mostradas en los ejercicios. En efecto, p ! ( q ! r ) p ! ( q _ r ) p _ ( q _ r ) ( p ^ q ) ! r ( p ^ q ) _ r ( p _ q ) _ r
UP
M M M M at e at e at e
implica que ambas proposiciones son equivalentes ya que las u ltimas dos expresiones lo son.
at
at
UP
UP M at e UP M at e
4
at
UP
at
at
at
at
Ejercicios Adicionales
Si llueve el piso se moja. Cuando el piso se moja hay que limpiarlo. Si llueve hay que limpiar el piso. No es cierto que si esta lloviendo entonces no uso el paraguas. Est a lloviendo y uso el paraguas.
1. Escriba los siguientes enunciados en su forma l ogica formal.
UP
El valor de las acciones aumenta, no se declaran dividendos, los accionistas se reunir an, la junta de directores convoca a reuni on, y el presidente del directorio renuncia. El valor de las acciones cae, se declaran dividendos, los accionistas no se reunir an, la junta de directores no llama a reuni on y el presidente del directorio renuncia.
at
at
3. Si p = Hace frio y q = esta nublado escriba como una oraci on los siguientes enunciados.
UP
p^q
p$q
UP UP
q ! p
p _ q (q )
4. Escriba como una oraci on la conversa, inversa, y contrapositiva de las siguientes condicionales.
at
Yo saco mi paraguas si llueve.
at
5. Verique en cada caso si el primer enunciado es equivalente al segundo. Justique su respuesta en cada caso usando la l ogica de proposiciones. a) b) Si llueve el piso se moja. Cuando el piso se moja hay que limpiarlo. Si llueve hay que limpiar el piso. No es cierto que si esta lloviendo entonces no uso el paraguas. Est a lloviendo y uso el paraguas.
6. Demuestre cada una de las siguientes equivalencias o justique porque no lo son.
UP
No puedo entrar a la piscina si estoy con gripe.
at
at
at
at
Si hoy es Lunes, entonces tengo clase de Mate 1.
at
b ) Determine el valor de verdad de la proposici on bajo las siguientes condiciones
a ) Escriba la proposici on anterior en su forma l ogica formal.
2. Considere la siguiente proposici on compuesta: Si el valor de las acciones de la compa n a aumenta o se declaran dividendos, entonces los accionistas se reunir an si y solo si dos cosas ocurren: la junta de directores convoca a reuni on y el presidente del directorio no renuncia.
UP
at
a) b) c) d) e) f) g)
p^pp p_pp (p ^ q ) ^ r p ^ ( q ^ r ) (p _ q ) _ r p _ ( q _ r ) p ( p) p ^ (q _ r ) (p ^ q ) _ (p ^ r ) p _ (q ^ r ) (p _ q ) ^ (p _ r )
at
at
h ) (p $ q ) ^ q p i ) (p _ q ) ^ q p ^ q j ) ( p _ q ) p ^ q k ) ( p ^ q ) p _ q
m ) (p Y q ) p Y q
l ) p Y q (p _ q ) ^ (p ^ q )
at
a ) Si hace fr o me pongo la gorra.
c ) Ma nana hago la tarea si me levanto temprano y no voy al gimnasio.
10. Escriba la negaci on de cada proposici on sin negar proposiciones compuestas. a ) Si no duermo bien no voy a poder concentrarme en clase.
11. Determine el converso y contrapositivo de cada condicional sin negar proposiciones compuestas.
UP
b ) Voy a la playa si y solo si termino la tarea. c ) Si llueve mucho entonces no saco el carro.
UP
b ) Las empresas reducen personal o liquidan activos, siempre y cuando la econom a nacional entre en recesi on.
at
at
at
c ) Ma nana hago la tarea si me levanto temprano y no voy al gimnasio.
UP
UP 1 e at M M at
6
b ) Las empresas reducen personal o liquidan activos, siempre y cuando la econom a nacional entre en recesi on.
at
at
a ) Si hace fr o me pongo la gorra.
at
9. Escriba las siguientes proposiciones sin usar condicionales y sin negar proposiciones compuestas.
8. Demuestre que P Q es equivalente a armar que P $ Q es una tautolog a.
UP
7. Demuestre que la proposici on condicional es equivalente a su contrapositiva. Tambi en demuestre que la rec proca es equivalente a la inversa.
UP
at
