Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
LOGICA- EQUIVALENCIAS LOGICAS- LEYES LOGICAS- SIMPLIFICACIÓN- EJERCICIOS        AUTOR: LUIS R. PACHECO HUAROTTO
EQUIVALENCIAS LOGICAS Dos proposiciones compuestas o Fórmulas Lógicas P y Q son  equivalentes, si unidos por el bicondici...
LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS   La    tradición    aristotélica   ha     considerado    como    fundamentales a lo...
NOTABLES   (LEYES LÓGICAS OTAUTOLÓGICAS)   Leyes Conmutativas (Conm.)    (p∧q) ↔ (q ∧ p)    (p∨q) ↔ (q∨p)    (p↔q) ↔ (q↔p...
LEYES DE EQUIVALENCIASNOTABLES   Doble Negación (DN)    ~~p↔p    ~~~p ↔~p   Teoremas de De Morgan (DM)    ~(p∧q) ↔ ~p∨~q...
LEYES DE EQUIVALENCIASNOTABLES   Def. del bicondicional (Def. Bicondicional)    p ↔ q ↔ (p→q) ∧ (q→p)    p↔q ↔ [ (p∧q) ∨ ...
LEYES DE EQUIVALENCIASNOTABLES    Ley de Exportación:    a) ( p Λ q) → r Ξ p → (q → r)    b) ( P1ΛP2 Λ …ΛPn) → r Ξ ( P1 Λ...
OBSERVACIÓN: ESTAS LEYES SON MUY ÚTILES PARASIMPLIFICAR LOS PROBLEMAS, PUESTO QUE ES VALIDOREEMPLAZAR UNA PROPOSICIÓN POR ...
EJERCICIOS1.- Demostrar que:a) p ∧~q ↔ ~(p → q)       b) p ↔ (q v ~q) →pc) ~ [~ (p ∧q) →~q ] v q ↔ q2.- Simplificar y repr...
EJERCICIOS4.- Demostrar que las siguientes equivalencias son tautológicas:   1. [(p→q) → (r→s)] ↔ ~(~s→~r)→~(~q→~p)   2. [...
BIBLIOGRAFÍA: ESPINOZA, E. (2005) Matemática Básica. Lima. 2ª  Edición. FIGUEROA, R. (1992) Matemática Básica 1. Lima. 5...
You’ve finished this document.
Download and read it offline.
Upcoming SlideShare
Algebra proposiciones
Next
Upcoming SlideShare
Algebra proposiciones
Next
Download to read offline and view in fullscreen.

Share

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN

Download to read offline

EQUIVALENCIAS LOGICAS, LEYES Y SIMPLIFICACIÓN. EJERCICIOS.

Related Books

Free with a 30 day trial from Scribd

See all

Related Audiobooks

Free with a 30 day trial from Scribd

See all

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN

  1. 1. LOGICA- EQUIVALENCIAS LOGICAS- LEYES LOGICAS- SIMPLIFICACIÓN- EJERCICIOS AUTOR: LUIS R. PACHECO HUAROTTO
  2. 2. 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)
  3. 3. 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
  4. 4. NOTABLES (LEYES LÓGICAS OTAUTOLÓ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)
  5. 5. LEYES DE EQUIVALENCIASNOTABLES 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)
  6. 6. LEYES DE EQUIVALENCIASNOTABLES 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)
  7. 7. LEYES DE EQUIVALENCIASNOTABLES 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
  8. 8. OBSERVACIÓN: ESTAS LEYES SON MUY ÚTILES PARASIMPLIFICAR LOS PROBLEMAS, PUESTO QUE ES VALIDOREEMPLAZAR UNA PROPOSICIÓN POR SU EQUIVALENTE SINALTERAR 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ón2.- 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 = pv ~q Idempotencia
  9. 9. EJERCICIOS1.- Demostrar que:a) p ∧~q ↔ ~(p → q) b) p ↔ (q v ~q) →pc) ~ [~ (p ∧q) →~q ] v q ↔ q2.- Simplificar y representar mediante Circuito:a) ~ [ p ↔ ~(q v r) ] b) ~(p) ↔ (p → ~ q) R: p Λ (q v r) R: ~ p v pc) (p v q) → [(~p v q) → (p ∧ q) ] R: p v ~ q3.- 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.
  10. 10. 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)→r5.- 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?
  11. 11. 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 Autor: LUIS R. PACHECO HUAROTTO
  • JasminCalderon1

    Aug. 2, 2020
  • RickyCardenas4

    Jun. 15, 2020
  • JorgeMontero63

    May. 18, 2020
  • MontseEspinosa1

    Sep. 17, 2019
  • JulioCrdenasAvils

    Jul. 8, 2019
  • AngelicaCristinaRosa

    May. 30, 2019
  • ErikaGiselleDeluca

    Mar. 20, 2019
  • karlingarcia94

    Mar. 20, 2019
  • StalinMuoz2

    Oct. 26, 2018
  • PieroAlessandroAndradeSoto

    Aug. 20, 2018
  • MaryTejerina2

    Apr. 20, 2018
  • LeopoldoAntonioWallPerez

    Apr. 5, 2018
  • JusticoAvalosVasquez

    Mar. 29, 2018
  • juancarlosccohuanqui

    Feb. 26, 2018
  • AnayeliTolentinoRami

    Feb. 20, 2018
  • NiviaSanabria

    Feb. 6, 2018
  • panchaa_95

    Apr. 18, 2017
  • TitaBrennan

    Jul. 11, 2015
  • CASPERELFANTASMITAme

    Mar. 3, 2015
  • juancamilobedoya90

    Sep. 28, 2014

EQUIVALENCIAS LOGICAS, LEYES Y SIMPLIFICACIÓN. EJERCICIOS.

Views

Total views

266,749

On Slideshare

0

From embeds

0

Number of embeds

16

Actions

Downloads

1,647

Shares

0

Comments

0

Likes

21

×