EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
Click here to load reader
-
Upload
pacheco-huarotto-luis -
Category
Documents
-
view
60.198 -
download
0
description
Transcript of EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
![Page 1: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/1.jpg)
LOGICA - EQUIVALENCIAS LOGICAS
- LEYES LOGICAS
- SIMPLIFICACIÓN
- EJERCICIOS
AUTOR: LUIS R. PACHECO HUAROTTO
![Page 2: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/2.jpg)
EQUIVALENCIAS LOGICAS Dos proposiciones compuestas o Fórmulas Lógicas P y Q son
equivalentes, si unidos por el bicondicional “↔ “, el resultado es una Tautología; es decir que ambas proposiciones tienen el mismo valor de verdad.
Se denota: P Ξ Q o P ↔ Q
Se lee: “P es equivalente a Q” o viceversa
Ejemplos: a) [(p∧q)→ r] ↔ [p → (q→r)] (Exportación) b) (p→q) ↔ [p ↔ (p ∧ q)] (Expansión 1) c) (p→q) ↔ [q ↔ (p ∨ q)] (Exp. 2) d) p ↔ p ∧ (q ∨ ~q) (Exp. 3) e) p ↔ p ∨ (q ∧ ~q) (Exp. 4)
![Page 3: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/3.jpg)
LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS
La tradición aristotélica ha considerado como fundamentales a los principios lógicos otorgándoles máxima jerarquía. Dichos principios pueden transformarse a fórmulas cuya evaluación de sus matrices lógicas nos revele que se trata de una tautología. Esto significa que no podemos privilegiar sólo a estas tautologías por sobre otras igual de válidas. Dichos principios son los siguientes:
1. Principio de Identidad: Una proposición solo es idéntica a sí mismo.
Forma Lógica: p↔p 2. Principio de No-contradicción: No es posible que una
proposición sea verdadera y falsa al mismo tiempo. Forma Lógica: ~(p∧~p)
3. Principio de Tercio Excluido: Toda proposición es necesariamente verdadera o necesariamente falsa. No existe una posibilidad intermedia.
Forma Lógica: p∨~p
![Page 4: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/4.jpg)
LEYES DE EQUIVALENCIAS NOTABLES (LEYES LÓGICAS O TAUTOLÓGICAS) Leyes Conmutativas (Conm.) (p∧q) ↔ (q ∧ p) (p∨q) ↔ (q∨p) (p↔q) ↔ (q↔p) (p q)↮ ↔ (p ↮ q) Leyes Asociativas (Asoc.) p∧(q∧r) ↔ (p∧q)∧r p∨(q∨r) ↔ (p∨q) ∨ r p ↔ (q ↔ r) ↔ (p ↔ q) ↔ r Leyes Distributivas (Distrib.) (p∧q) ∨ r ↔ (p∨r) ∧ (q∨r) (p∨q) ∧ r ↔ (p∧r) ∨ (q∧r) p→(q∧r) ↔(p→q)∧(q→p) p→(q∨r) ↔(p→q)∨(q→p)
![Page 5: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/5.jpg)
LEYES DE EQUIVALENCIAS NOTABLES
Doble Negación (DN) ~~p↔p ~~~p ↔~p Teoremas de De Morgan (DM) ~(p∧q) ↔ ~p∨~q ~(p∨q) ↔ ~p∧~q p∧q ↔ ~(~p∨~q) p∨q ↔ ~(~p∧~q) Idempotencia (Idem.) p∨p ↔ p p∧p ↔ p Def. del condicional (Def. cond.) p→q ↔ ~p∨q p→q ↔ ~(p∧~q)
![Page 6: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/6.jpg)
LEYES DE EQUIVALENCIAS NOTABLES Def. del bicondicional (Def. Bicondicional) p ↔ q ↔ (p→q) ∧ (q→p) p↔q ↔ [ (p∧q) ∨ (~p∧~q) ] Def. de la disyunción fuerte (Def. DF) p q ↮ ↔ ~ (p ↔ q) p q ↮ ↔ (p∨q) ∧ (~p∨~q) Absorción (Abs.) p ∧ (p ∨ q) ↔ p p ∨ (p ∧ q) ↔ p p ∨ (~p ∧ q) ↔ p∨q p ∧ (~p ∨ q) ↔ p∧q Transposición (Trans.) p→q ↔ ~q→~p p ↔ q ↔ (~ q ↔ ~p)
![Page 7: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/7.jpg)
LEYES DE EQUIVALENCIAS NOTABLES Ley de Exportación: a) ( p Λ q) → r Ξ p → (q → r) b) ( P1ΛP2 Λ …ΛPn) → r Ξ ( P1 ΛP2Λ…ΛPn-1) → (Pn → r) Consideremos que T es una fórmula tautológica, C es
una fórmula contradictoria y Q es una fórmula consistente (Proposición).
Leyes de Complemento o Adicionales T ∧ Q ↔ Q ( V es Neutro de la Conjunción : p Λ V Ξ p )
C ∧ Q ↔ C T ∨ Q ↔ T C ∨ Q ↔ Q ( F es neutro de la Disyunción : p v F Ξ p )
T → Q ↔ Q C → Q ↔ T Q → T ↔ T Q → C ↔ ~Q
![Page 8: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/8.jpg)
OBSERVACIÓN: ESTAS LEYES SON MUY ÚTILES PARA SIMPLIFICAR LOS PROBLEMAS, PUESTO QUE ES VALIDO REEMPLAZAR UNA PROPOSICIÓN POR SU EQUIVALENTE SIN ALTERAR EL RESULTADO.
Ejemplos:1.- Demostrar que: (p→q) ↔ (~q →~p)
Solución:
(p→q) ↔ (~q →~p)
↔ ~ (~q ) V ~p Ley de la Condicional
↔ q V ~p Ley de la Doble Negación
↔ ~p V q Ley Conmutativa
↔ p → q Por Definición
2.- Simplificar la siguiente proposición: A = (~p∧q) →(q → p)
Solución:
A = ~ (~p∧q) V (q → p) Ley de la Condicional
= ( p v ~q) v (~q v p ) Ley de Morgan y Condicional
= ( p v ~q) v ( p v ~q) Ley Conmutativa
= p v ~ q Idempotencia
![Page 9: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/9.jpg)
EJERCICIOS
1.- Demostrar que:a) p ∧~q ↔ ~(p → q) b) p ↔ (q v ~q) →pc) ~ [~ (p ∧q) →~q ] v q ↔ q 2.- Simplificar y representar mediante Circuito: a) ~ [ p ↔ ~(q v r) ] b) ~(p) ↔ (p → ~ q) R: p Λ (q v r) R: ~ p v p
c) (p v q) → [(~p v q) → (p ∧ q) ] R: p v ~ q
3.- Determinar si a) y b) son proposiciones equivalentes:
a) p → (r v ~ q) b) (q → ~p) v ( ~r → ~ p) Nota: Se puede determinar la equivalencia mediante la tabla de
verdad o mediante la simplificación.
![Page 10: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/10.jpg)
EJERCICIOS4.- Demostrar que las siguientes equivalencias son tautológicas:
1. [(p→q) → (r→s)] ↔ ~(~s→~r)→~(~q→~p)
2. [(p→q)→r] ↔ [(p∨r) ∧ (~q∨r)]
3. [(p∧q) ∨ r] ∨ s ↔ ~[~(p∧q)→r] → s
4. ~(p∧q∧r) ↔ ~p∨~q∨~r
5. p→[~p→(q→r)] ↔ (p∧~p∧q)→r
5.- Responda las siguientes preguntas:
6. ¿Cuál es la relación entre bicondicional y equivalencia?
7. ¿Qué es una tautología? ¿Qué cosas pueden ser tautológicas?
8. ¿Cuál es la relación entre lógica proposicional y teoría de conjuntos?
9. ¿Podemos leer lógicamente las equivalencias usando las tablas de verdad? ¿Cómo? Dé unos ejemplos.
10. Si lo son ¿en qué sentido son importantes los principios lógicos? ¿qué correcciones le harías a los principios lógicos?
![Page 11: EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN](https://reader037.fdocuments.ec/reader037/viewer/2022100208/559d6f571a28abe82b8b471e/html5/thumbnails/11.jpg)
BIBLIOGRAFÍA: ESPINOZA, E. (2005) Matemática Básica. Lima. 2ª
Edición. FIGUEROA, R. (1992) Matemática Básica 1. Lima. 5ª
Edición. GARCÍA, Ó. (2007) Lógica. Lima: UNMSM. SEMINARIO, R. y VILLANUEVA, J. (1992). El Gran
Saber. Logica. Lima. Editora Rival S.A. PISCOYA, L. (1997) Lógica. Lima: UNMSM. DEAÑO, A. (2001) Introducción a la Lógica Formal.
Madrid: Alianza Editorial. LLANOS, M. (2003) Lógica Jurídica. Lima: Logos. http://profe-alexz.blogspot.com/2010/05/logica-proposicional.html
Autor: LUIS R. PACHECO HUAROTTO