Está en la página 1de 3

UNIVERSIDAD DE SANTIAGO DE CHILE

Ingenier a de Alimentos Gu a de Ejercicios N 2 Alvaro Aguirre

L ogica Matem atica


Ejercicios Resueltos. 1. Sean p, q y r proposiciones l ogicas y considere la nueva proposici on l ogica. [(p q ) (p r)] [(q p) (p r)] (a) Pruebe usando una tabla de verdad que la proposici on planteada es una Tautolog a. Sol: p V V V V F F F F q V V F F V V F F r pq V V F V V V F V V V F V V F F F pr V V F F V V F F F F F F V F V F qp V V V V V V V V V F V F V V V V V F V F F F V V pr V F V F V V V V

Luego la proposici on es una Tautolog a. (b) Pruebe usando propiedades, (y no tabla de verdad) que la proposici on es una Tautolog a. Sol: Etapa 1: Si consideramos hacer A = [(p q ) (p r)] y B = [(q p) (p r)], entonces debemos mostrar que: AB ()

Etapa 2: 1. Como () es una implicaci on, la u nica forma de ser falsa es que A sea verdadera y B sea Falsa, esto por denici on del conectivo implicaci on 2. Ahora como B es una conjunci on entonces ella es falsa si (q p) es falsa o (p r) es falsa. 3. Es interesante observar aqu que p aparece en ambas implicaciones que originan a B , como consecuente y como antecedente respectivamente, as que estudiemos las posibilidades de p. 4. Si p es verdadero entonces: a ) (q p) es verdadero, una vez m as, por denici on de implicaci on. b ) Como B es falsa entonces por lo dicho antes (p r) es falsa, y entonces de nuevo por denici on de implicaci on r es falsa c ) Luego tenemos que p es verdadera y r es falsa, pero entonces ahora analizando A, observamos que: p verdadera hace que (p q ) sea verdadera por denici on de suma l ogica o disyunci on. r falsa hace que (p r) sea falsa por denici on de producto l ogico o conjunci on. As que juntando la informaci on hace que A = [(p q ) (p r)] sea falsa lo que es una contradiccii on. 5. Si p es falso entonces: a ) (p r) es verdadero, una vez m as, por denici on de implicaci on. b ) Como B es falsa entonces por lo dicho antes (q p) es falsa, y entonces de nuevo por denici on de implicaci on q es verdadera c ) Luego tenemos que p es falsa y q es verdadera, pero entonces ahora analizando A, observamos que: p falsa hace que (p r) sea falsa por denici on de producto l ogico o conjunci on. q verdadera hace que (p q ) sea verdadera por denici on de suma l ogica o disyunci on. As que juntando la informaci on hace que A = [(p q ) (p r)] sea falsa lo que es una contradiccii on. 6. conclusi on B no puede ser falsa y entonces () es verdadera.

Ejercicios Propuestos. (1) Si para las proposiciones l ogicas p y q , se dene el conectivo l ogico como sigue: p q es Falsa si y s olo si p y q son verdaderas, caso contrario p q es Verdadera. Demuestre usando propiedades, que la siguiente proposici on es una tautolog a [(p q ) q ] [(p q ) q ]