El documento resume las principales leyes lógicas o tautológicas, incluyendo: 1) Los tres principios lógicos clásicos. 2) Equivalencias notables. 3) Leyes del condicional, bicondicional, absorción, transposición, exportación, elementos neutros, y formas normales. Explica que estas leyes son útiles para simplificar problemas lógicos reemplazando proposiciones por sus equivalentes.
90%(10)90% encontró este documento útil (10 votos)
6K vistas2 páginas
El documento resume las principales leyes lógicas o tautológicas, incluyendo: 1) Los tres principios lógicos clásicos. 2) Equivalencias notables. 3) Leyes del condicional, bicondicional, absorción, transposición, exportación, elementos neutros, y formas normales. Explica que estas leyes son útiles para simplificar problemas lógicos reemplazando proposiciones por sus equivalentes.
El documento resume las principales leyes lógicas o tautológicas, incluyendo: 1) Los tres principios lógicos clásicos. 2) Equivalencias notables. 3) Leyes del condicional, bicondicional, absorción, transposición, exportación, elementos neutros, y formas normales. Explica que estas leyes son útiles para simplificar problemas lógicos reemplazando proposiciones por sus equivalentes.
El documento resume las principales leyes lógicas o tautológicas, incluyendo: 1) Los tres principios lógicos clásicos. 2) Equivalencias notables. 3) Leyes del condicional, bicondicional, absorción, transposición, exportación, elementos neutros, y formas normales. Explica que estas leyes son útiles para simplificar problemas lógicos reemplazando proposiciones por sus equivalentes.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 2
Matemática Básica I
PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS
Las llamadas leyes lógicas o principios lógicos viene 7. Leyes del Condicional a ser formas proposicionales tautológicas de a) p → q ≡ ∼ p ∨ q carácter general y que a partir de estas leyes lógicas b) ∼ p→ q ≡ p ∧∼ q se puede generar otras tautológicas y también 8. Las Leyes del Bicondicional cualquier tautología se puede reducir a una de las a) p ↔ q ≡ p → q ∧ q → p leyes lógicas, entre las principales leyes lógicas b) p ↔ q ≡ p ∧ q ∨ ∼ q ∧∼ p mencionaremos. 9. Leyes de la Absorción a) p ∧ p ∨ q ≡ p 1° LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS b) p ∨ p ∧ q ≡ p c) p ∧ ∼ p ∨ q ≡ p ∧ q 1. Ley de identidad d) p ∨ ∼ p ∧ q ≡ p ∨ q ⟶ ⟷ “Una proposición sólo son 10. Leyes de Transposición idénticos así mismo” a) p ⟶ q ≡∼ q ⟶∼ p 2. Ley no contradicción b) p ⟷ q ≡∼ q ⟷∼ p ∼ ∧∼ “una proposición no puede ser 11. Leyes De Exportación verdadero y falso a la vez” a) p ∧ q ⟶ r ≡ p ⟶ q ⟶ r 3. Ley del Tercio excluido. b) p ∧ p ∧ … ∧ p ⟶ r ≡ p ∧ p ∧ … ∧ “Una proposición es verdadero o es falso no p ⟶ p ⟶ r hay una tercera posibilidad” 12. Elementos Neutros para la Conjunción y a) p ∨ ∼ p ≡ V Disyunción b) p ∧ ∼ p ≡ F a) p ∧ V ≡ p, V neutro de la Conjunción b) p ∨ F ≡ p, F neutro de la Disyunción 2° EQUIVALENCIAS NOTABLES 13. Formas normales para la conjunción y disyunción 1. Ley de la doble negación a) V ∧ V ≡ V ~~p p “la negación de la negación es b) F ∨ F ≡ F una afirmación" c) p ∧ V ≡ p 2. Ley de la Idempotencia d) p ∨ F ≡ p a) p ∨ p ≡ p e) p ∧ F ≡ F b) p ∧ p ≡ p f) p ∨ V ≡ V 3. Leyes conmutativas 14. También a) p ∨ q ≡ q ∨ p a) p ∨ q ∧ p ∨∼ q ≡ p b) p ∧ q ≡ q ∧ p b) p ∧ q ∨ p ∧∼ q ≡ p c) p ↔ q ≡ q ↔ p 4. Leyes Asociativa OBSERVACIÓN. - Estas Leyes son muy útiles para a) p ∨ q ∨ r ≡ p ∨ q ∨ r simplificar los problemas, puesto que es válido b) p ∧ q ∧ r ≡ p ∧ q ∧ r) reemplazar una proposición por su equivalente sin c) p ⟷ ⟷ r ≡ ⟷ q ⟷ r alterar el resultado. 5. Leyes Distributivas a) p ∧ q ∨ r ≡ p ∧ q ∨ p ∧ r b) p ∨ q ∧ r ≡ p ∨ q ∧ p ∨ r c) p ⟶ ∧ ≡ ⟶ q ∧ ⟶ r d) p ⟶ ∨ ≡ ⟶ q ∨ ⟶ r 6. Leyes de Morgan a) ∼ p ∧ q ≡ ∼ p ∨ ∼ q b) ∼ p ∨ q ≡ ∼ p ∧ ∼ q
Lic. Efraín Gil Pando Vega | 9
Matemática Básica I
b) [~p ∨ q] ∨ [~q ∨ ~p]
c) ( p ∨ ~p) ∧ [p ∧ (q ∨ p)] d) [~ (p → q) → ~ (q → p)] ∧ (p ∨ q) e) {[(p → q) ↔ ~q] ∧ ~q} f) ~ [(p ∨ p) ↔ p] 1. Simplificar las proposiciones siguientes g) [(p ∨ ~q) ∧ q] → p aplicando las leyes lógicas h) ~ [~ (p ∧ q) → ~q] ∨ q a) p ∨∼ q ∧ q ⟶ p i) [(~p ∧ q) → (r ∧ ~r)] ∧ ~q b) ∼ ∼ p ∧ q ⟶∼ q ∨ q j) [(p ∧ q) ∨ (p ∧ ~q)] ∨ (~p ∧ ~q) 2. Simplificar ∼ ∼ p ∧ q ⟶∼ q ∨ q k) [(~p ∧ q) ↔ (r ∧ ~r)] ∧ ~q 3. Comprobar que las tres proposiciones l) [(p→ p) ∨ q] ∧ [~q ∨ (r ∧ q)] ∧ [p → (p ∨ ~q)] siguientes son equivalentes: m) [~(p ∨ q) ∨ (~p ∧ q)] → (~p ∧ q) a) ∼ q ∨∼ p ∨ q ∧ r ∨∼ p n) [( p → ~ q ) → ~p ] → q b) p ∧∼ q ∧ ∼ q ∨ ∼ r ∨ p o) [( p ∧ q ) → ~r] v [ p → ( q → ~r)] c) ∼ ∼ q ⟶∼ p ∧ q ⟶∼ p ⟶ r 4. Determinar si (a) y (b) son proposiciones equivalentes: a) p ⟶ r ∨∼ q b) q ⟶∼ p ∨ ∼ r ⟶∼ p 5. Simplificar ∼ p ∧ q ⟶ r ∧∼ r! ∧∼ q 6. Determinar si a) y b) son proposiciones equivalentes: a) p ⟶ r ∨∼ q b) q ⟶∼ p ∨ ∼ r ⟶∼ p
1. Simplificar las siguientes proposiciones:
a) ∼ q ⟶∼ q ⟶ ∼ p ⟶∼ q! ⟶∼ p ∧ q b) p ⟶ q ∨∼ p ∧ ∼ q ⟶ p c) ∼ ∼ ∼ p ∧ q ∨∼ q ⟶ ∼ p ∨∼ q! d) ∼ p ∨∼ q ∧ ∼ p ∧ q ⟶ p e) p ⟶ q ⟶ p ∧ q ∨ p ∧ r f) ∼ ∼ p ∧ q ⟶∼ q ∨ p g) ∼ p ∧ q ⟶ q ⟶ p ∧ p 2. Simplificar las siguientes proposiciones: a) ∼ p ∧ q ⟶ r ∧∼ r ∧∼ q b) ∼ q ⟶∼ p ⟶ ∼ p ⟶∼ q ∧∼ p ∧ q c) p ∧ q ∨ p ∧∼ q ∨ ∼ p ∧∼ q d) p ∧ q ∨ ∼ p ∧∼ q ∨ p e) t ⟶ p ⟶ q ⟶ q ∧ ∼ p ∧ q ⟶ p f) ∼ p ⟶ q ⟶∼ q ⟶ p ∧ p ∨ q g) p ∧∼ q ∧ q ⟶ p ∧ r ∨ p 3. Simplificar p→ p ∨ q ∧ ∼ q ∨ r ∧ q ∧ p → p ∨ ∼ q 4. Simplificar ∼ p ∨ q ∨ ∼ p ∧ q → ∼ p ∧ q 5. Simplificar # → ∼ $ → ∼ # →$ 6. Simplificar # % $ → ∼ & ∨ #→ $→ ∼ & 7. Simplificar las siguientes proposiciones: a) ~{[(~p) ∨ (~q)] ∨ ~q ]}