Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 194 vistas

    Revisión Leyes Lógicas.-Ing.-Minas

    Cargado por

    Reyde Ayerve
    Este documento presenta las reglas básicas de la inferencia lógica. 1) Define premisas, conclusiones y reglas lógicas. 2) Explica 12 reglas de inferencia lógica como modus ponens, modus tollens y doble negación. 3) Proporciona ejemplos para ilustrar cada regla lógica.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Revisión Leyes Lógicas.-Ing.-Minas

    Cargado por

    Reyde Ayerve
    194 vistas4 páginas
    Este documento presenta las reglas básicas de la inferencia lógica. 1) Define premisas, conclusiones y reglas lógicas. 2) Explica 12 reglas de inferencia lógica como modus ponens, modus tollens y doble negación. 3) Proporciona ejemplos para ilustrar cada regla lógica.

    Descripción original:

    Título original

    REVISIÓN LEYES LÓGICAS.-ING.-MINAS

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta las reglas básicas de la inferencia lógica. 1) Define premisas, conclusiones y reglas lógicas. 2) Explica 12 reglas de inferencia lógica como modus ponens, modus tollens y doble negación. 3) Proporciona ejemplos para ilustrar cada regla lógica.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    194 vistas4 páginas

    Revisión Leyes Lógicas.-Ing.-Minas

    Cargado por

    Reyde Ayerve
    Este documento presenta las reglas básicas de la inferencia lógica. 1) Define premisas, conclusiones y reglas lógicas. 2) Explica 12 reglas de inferencia lógica como modus ponens, modus tollens y doble negación. 3) Proporciona ejemplos para ilustrar cada regla lógica.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 4

    MATEMATICA I - Ing.

    De MINAS
    REVISIÓN - INFERENCIA LÓGICA
    a) Premisa. - Es toda aquella proposición o proposiciones que sirven de base o punto de partida
    a toda inferencia.

    b) Conclusión. - Es aquella proposición que se afirma sobre la base de las premisas.

    c) Reglas lógicas, - Son procedimientos que nos indican como ir de las premisas para llegar a la
    conclusión.

    Reglas de Inferencia Lógica y demostración

    1) Modus Ponendo Ponens (nombre latino) (afirmando se afirma)

    1) 𝐴 → 𝐵 (Premisa) P
    2) 𝐴 (Premisa) P
    ---------------------------------------------------

    3) B (Conclusión) PP o {(𝐴 → 𝐵)⋀𝐴} → 𝐵


    Si se verifica A, entonces se verifica B, y se verifica A. La conclusión es que se verifica B
    Ejm. Premisa 1: Si Él está en la biblioteca, entonces Él está estudiando.
    Premisa 2: Él está en la biblioteca.
    Conclusión: Él está estudiando.
    Simbólicamente
    P: Él está en la biblioteca Q: Él está estudiando
    1) 𝑃 → 𝑄 (Premisa) P
    2) 𝑃 (Premisa) P
    ---------------------------------------------------

    3) 𝑄 (Conclusión) PP1,2

    2) DOBLE NEGACIÓN (DN)

    Premisa 1:~~𝑅 P

    …………………………………

    Conclusión: 𝑅 C (DN1)

    Ejm.

    a) DEMOSTRAR: ~~𝑆 b) DEMOSTRAR: Q


    1. 𝑀 → ~𝑃 P 1. ~𝐽 → 𝑆⋁𝑇
    2. ~𝑃 → 𝑆 P 2. ~𝐽
    3. M P 3. 𝑆⋁𝑇 → ~~𝑄
    ………………………….. …………………

    4. ~𝑃 PP1,3
    5. 𝑆 PP2,4
    6. ~~𝑆 DN5
    3) MODUS TOLLENDO TOLLENS (TT) (Negando se Niega).-
    Premisa 1: 𝐴 → 𝐵 P

    Premisa 2: ~𝐵 P o { (𝐴 → 𝐵)⋀~𝐵 } → ~𝐴

    …………………………..

    Conclusión: ~𝐴 TT1,2
    3) MODUS TOLLENDO TOLLENS (TT) (Negando se Niega).-

    Premisa 1: 𝐴 → 𝐵 P

    Premisa 2: ~𝐵 P o { (𝐴 → 𝐵)⋀~𝐵 } → ~𝐴

    …………………………..

    Conclusión: ~𝐴 TT1,2

    4)Regla de Adjunción (A) l

    Simbólicamente: 1. Q∨R P

    Premisa 1: 𝐴 P 2. T∨S P

    Premisa 2: 𝐵 P ………………….

    …………………………….. 3. (Q∨R) ∧ (T∨S) A1,2

    Se puede concluir: 𝐴 ∧ 𝐵 A1,2

    O se puede concluir: 𝐵 ∧ 𝐴 A2,1

    (El orden es indiferente)

    5)Regla de Simplificación (S).-

    Simbólicamente:

    Premisa 1: 𝐴 ∧ 𝐵 P Premisa 1: 𝐴 ∧ 𝐵 P

    ……………………………………. ó …………………………………….

    Conclusión 2: A S1 Conclusión 2: B S1

    6) Modus Tollendo Ponens (TP) (negando se afirma)

    1:P⋁Q P 1:P⋁Q P

    2: ~𝑃 P ó 2: ~𝑄 P

    ………………………. ……………………….

    3: Q TP1,2 3: P PP1,2

    OTRAS REGLAS DE INFERENCIA

    7) Ley de Adición (LA) 8) Ley del silogismo Hipotético(SH) 9) Ley del Silogismo Disyuntivo(SD)

    1. P P 1. 𝑃 → 𝑄 P 1. P⋁Q P 1. P⋁Q P

    ………………………. 2. 𝑄 → 𝑅 P 2. P→S P 2. P→S P

    2.P⋁Q LA1 …………………………… 3. Q→R P 3. Q→R P

    Q: Cualquier proposición 3. 𝑃 → 𝑅 SH12 ……………… ……………..

    4. S⋁R SD1,2,3 4. R⋁S SD1,2,3


    10) Ley de simplificación 11) Leyes Conmutativas

    Disyuntiva (DP) -Con respecto a la conjunción -Con respecto a la disyunción

    1.P⋁ P P 1. P⋀Q P 1. P⋁Q P

    …………………. ………………………….. ………………………….

    2.P DP1 2. Q⋀P LC1 2. Q⋁P LC1

    12) Leyes de Morgan

    a) ~𝑃⋀~𝑄 b) ~(𝑃⋁𝑄) c) ~𝑃⋁~𝑄 d) ~(𝑃⋀𝑄) e) P⋀Q f) ~(𝑃⋁~𝑄)

    ………… …………. …………… ……………. ……….. ………….

    ~(𝑃⋁𝑄) ~𝑃⋀~𝑄 ~(𝑃⋀𝑄) ~𝑃⋁~𝑄 ~(~𝑃⋁~𝑄) ~𝑃⋀𝑄

    Ley de las proposiciones bicondicionales (LB)

    a) P↔Q P b) P↔Q P c) P↔Q P d) (P→Q) P


    ………………… ………………… ………………….. (Q→P) P
    P→Q LB Q→P LB (P→Q)⋀( Q→P) LB …………….

    P↔Q LB

    6) Demostrar: ~(𝑥 ≮ 𝑧) ⋁ ~ (𝑧 ≠ 6) 7) Demostrar: ∼ 𝑇⋀𝑆

    1. 𝑥 > 5 ⋁ 𝑦 ≮ 6 p 1. 𝑃 → ~𝑄 P

    2. 𝑦 ≮ 6 → 𝑥 < 𝑧 p 2. 𝑃 ⋁ 𝑅 P

    3. 𝑥 > 5 → 𝑦 < 𝑧 p 3. 𝑅 → ~𝑄 P

    4. y≮z ⋀ z=6 p 4. 𝑇 → 𝑄 P

    ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ 5. S

    5.𝑦 < 𝑧 ⋁ 𝑥 < 𝑧 SD1,3,2 ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´

    6. y≮z S4 6. ~𝑄 ⋁ ~𝑄 SD2,1,3

    7. 𝑥 < 𝑧 TP5,6 7. ~𝑄 DP6

    8. ~(𝑥 ≮ 𝑧) DN7 8. ~𝑇 TT4,7

    9. ~(𝑥 ≮ 𝑧) ⋁ ~ (𝑧 ≠ 6) LA8 9. ~𝑇⋀𝑆 A8,5

    10) Demostrar:~𝐾 11) Demostrar:~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3)

    1. 𝐾 → 𝑃 ⋀ 𝑆 P 1. 2𝑥 = 6 ↔ 𝑥 = 3 P

    2. 𝑄 →∼ 𝑃 P 2. 2𝑥 = 8 ↔ 𝑥 = 4 P

    3. 𝑅 →∼ 𝑆 P 3. 2𝑥 = 6 ⋁ 𝑥 = 4 P

    4. 𝑅 ⋁ 𝑄 P ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´

    ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ 4. 2𝑥 = 6 → 𝑥 = 3 LB1

    5.∼ 𝑆 ⋁ ~𝑃 SD4,3,2 5. 𝑥 = 4 → 2𝑥 = 8 LB2


    6. ~(𝑆 ⋀ 𝑃) LM5 6. 𝑥 = 3 ⋁ 2𝑥 = 8 SD3,4,5

    7. ~𝐾 TT1,6 7. 2𝑥 = 8 ⋁ 𝑥 = 3 LC6

    8. ~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3 DN7 LM7

    10) Demostrar:~𝐾 11) Demostrar:~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3)

    1. 𝐾 → 𝑃 ⋀ 𝑆 P 1. 2𝑥 = 6 ↔ 𝑥 = 3 P

    2. 𝑄 →∼ 𝑃 P 2. 2𝑥 = 8 ↔ 𝑥 = 4 P

    3. 𝑅 →∼ 𝑆 P 3. 2𝑥 = 6 ⋁ 𝑥 = 4 P

    4. 𝑅 ⋁ 𝑄 P ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´

    ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ 4. 2𝑥 = 6 → 𝑥 = 3 LB1

    5.∼ 𝑆 ⋁ ~𝑃 SD4,3,2 5. 𝑥 = 4 → 2𝑥 = 8 LB2

    6. ~(𝑆 ⋀ 𝑃) LM5 6. 𝑥 = 3 ⋁ 2𝑥 = 8 SD3,4,5

    7. ~𝐾 TT1,6 7. 2𝑥 = 8 ⋁ 𝑥 = 3 LC6

    8. ~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3 DN7 LM7

    También podría gustarte