[go: up one dir, main page]

Academia.eduAcademia.edu
Unidad 3 Lógica Matemática. Inferencia Ejercicio 5 A. ¿Qué conclusión se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla TT? Escribir las conclusiones en lenguaje normal. a. Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz más brillante daría lugar siempre a una emisión de electrones con mayor energía que los originados por luz más tenue. La luz más brillante no siempre emite electrones con mayor energía que los originados por luz más tenue. b. Si un ángulo de un triángulo es mayo a 90 grados, entonces la suma de los otros dos ángulos es menor de 90 grados. La suma de los otros dos ángulos no es menor de 90 grados. c. Si el arriendo se mantiene válido, entonces el dueño es el responsable de las reparaciones. El dueño no es responsable de las reparaciones. d. Si llovió la pasada noche, entonces las pistas se han limpiado. Las pistas no se han limpiado. e. José no es mi hermano. Si Susana es mi hermana, entones José es mi hermano. B. Deducir una conclusión de cada uno de los conjuntos de premisas siguientes, aplicando la regla del modus tollens. a. 1. → P 2. ¬ P 3. b. 1. ¬ → P 2. ¬ P 3. c. 1. → P 2. ¬ P 3. d. 1. →¬ P 2. ¬¬ P 3. 1 JMSH Unidad 3 Lógica Matemática. Inferencia Ejercicio 5 e. 1. 2. 3. f. → & ¬ & 1. V 2. ¬ 3. . → P P P P C. Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar la demostración completa. a. Demostrar: 1. ¬ P 2. → P 3. ¬ → P b. Demostrar: & 1. → ¬ 2. 3. ¬ → & P P P c. Demostrar: 1. → 2. ¬ → ¬¬ 3. ¬ P P P d. Demostrar: 1. 2. ¬ → ¬ P P e. Demostrar: ¬ 1. → ¬ 2. P P 2 JMSH