Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 52 vistas

    Lógica Iii Unid S 13

    Cargado por

    Anthony Paul Lazo Salome
    Este documento describe la deducción natural o demostración lógica. Explica que es un método para evaluar inferencias mediante reglas y procedimientos que demuestran que la conclusión se sigue lógicamente de las premisas. Describe las clases de demostración lógica directa e indirecta, y los pasos para realizar una demostración lógica directa aplicando las leyes lógicas.

    Copyright:

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

    Lógica Iii Unid S 13

    Cargado por

    Anthony Paul Lazo Salome
    52 vistas13 páginas
    Este documento describe la deducción natural o demostración lógica. Explica que es un método para evaluar inferencias mediante reglas y procedimientos que demuestran que la conclusión se sigue lógicamente de las premisas. Describe las clases de demostración lógica directa e indirecta, y los pasos para realizar una demostración lógica directa aplicando las leyes lógicas.

    Descripción original:

    Título original

    LÓGICA III UNID S 13

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe la deducción natural o demostración lógica. Explica que es un método para evaluar inferencias mediante reglas y procedimientos que demuestran que la conclusión se sigue lógicamente de las premisas. Describe las clases de demostración lógica directa e indirecta, y los pasos para realizar una demostración lógica directa aplicando las leyes lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    52 vistas13 páginas

    Lógica Iii Unid S 13

    Cargado por

    Anthony Paul Lazo Salome
    Este documento describe la deducción natural o demostración lógica. Explica que es un método para evaluar inferencias mediante reglas y procedimientos que demuestran que la conclusión se sigue lógicamente de las premisas. Describe las clases de demostración lógica directa e indirecta, y los pasos para realizar una demostración lógica directa aplicando las leyes lógicas.

    Copyright:

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

    LÓGICA: UNIDAD III

    DEMOSTRA
    CIÓN
    LÓGICA
    DERIVACIÓN O DEDUCCIÓN NATURAL
    1. LA DEDUCCIÓN NATURAL
     El método de la derivación o
    deducción natural, es un sistema de  
    reglas y procedimientos para evaluar 1) p  q
    una inferencia, es decir, para
    demostrar que la conclusión de una 2) q  r
    Premisas
    inferencia se sigue lógicamente de las 3) r
    premisas.
    4) p  s
     Estas reglas de inferencia son las
    LEYES LÓGICAS, sobre todo las 5) s Conclusión
    Leyes de Implicación Tautológica y
    las Leyes de Equivalencia
    Tautológica.
    Clases de Deducción Natural

    1. DEMOSTRACIÓN LÓGICA DIRECTA:


    La Conclusión de obtiene directamente de la premisas dadas.

    2. DEMOSTRACIÓN LÓGICA INDIRECTA:


    Se introducen premisas adicionales (P.A.) para llegar a la
    Conclusión. Hay 3 métodos indirectos:
    a) Prueba por Reducción al absurdo
    b) Prueba por Trasposición
    c) Por Prueba Condicional
    DEMOSTRACIÓN LÓGICA DIRECTA
     Es el proceso que permite demostrar que Si tenemos el ejercicio
    una CONCLUSIÓN se deduce lógicamente siguiente:
    de las PREMISAS dadas. - Se observa que se tiene 4
    Premisas (1, 2, 3, y 4) y 1
     Sirve para demostrar de manera directa la Conclusión: s
    validez de un argumento o esquema lógico.
     Una demostración se construye partiendo de 1. p  q
     

    las premisas y aplicando las reglas para 2. q  r


    llegar a la conclusión deseada. 3.r
     La deducción natural fue introducida por 4. p  s / s
    Gerhard Gentzen  en su trabajo El ejercicio consiste en
    Investigaciones sobre la inferencia lógica, demostrar “s” a partir de
    publicado en 1934-1935. las 4 Premisas.
    Ejecución de la Demostración

     
    1) p  q
    2) q  r CONCLUSIÓN
    PREMISAS
    3)r
    4) p  s // s
    DERIVACIONES 5) ...... :
    O
    SUBCONCLUSIONES
    6) ….. : JUSTIFICACIÓN
    … (LEYES)
    n) s :
    Explicación de la Demostración lógica directa: P→Q
    SH Q→R
     
    1) p  q P→R

    2) q  r
    3) r pr P→Q
    r MT
    ~Q
    4) p  s // s  ~P
    5) p  r : SH 1,2
    6) p : MT 5,3 ps P˅Q
    p
    SD ~P
    7) s : SD 4,6
     Q
    Ejemplos de Demostración lógica directa:

    1
     
    1)  A   B a) ( p → q ) ↔ ( ~ q → ~ p )

    2) B // A
    3) B  A : TRANSP. 1
    4) A : MP 3, 2 P→Q
    P
    MPP
    Q
    Ejemplos de Demostración lógica directa: P→Q
    MT
    ~Q
    ~P
    2  
    1) p  q
    2)  q P→Q
    P
    3)  p  r //   r MPP
    Q
    4)  p : MT 1, 2
    5) r : MP 3, 4
    6)   r : DN 5
    P→Q
      MT
    ~Q
    1) G  H ~P

    2)  G    F)
    3)  H // F P→Q
    P
    4)  G : MT 1, 3 MPP
    Q
    5)   F : MP 2, 4
    6) F : DN 5
      Simplif. SD
    1) (  P  Q )  R P˅Q
    P˄Q ~Q
    2) ( P  Q )  T
    P
    P
    3) T   S // (R  U)   S
    4) T : SIMPLIF. 3
    Adic.
    P→Q
    5)  P  Q : SD 2, 4
    P P
    MPP
    6) R : MPP 1, 5 Q P˅Q
    7) R  U : ADIC. 6
    a) ( p ˄ q ) ↔ ( q ˄ p ) Conmut.
    8)  S  T : CONMUT. 3
    9)  S : SIMPLIF. 8 P
    Adjun. Q
    10) (R  U)   S : ADJUN. 7, 9
    P˄Q
    EJERCICIOS II. EFECTÚE LAS DERIVACIONES DE
    ACUERDO A LAS LEYES SEÑALADAS
    I. INDICAR LAS LEYES QUE
    JUSTIFICAN LAS DERIVACIONES
      1) (  P  Q )  R
      1) ( P  Q )  ( R  S ) 2) ( P  Q )  T
    2) ( S  T )  U 3) T   S // (R  U)   S
    3) P // U 4) : SIMPLIF. 3
    4) P  Q : 5) : SD 2, 4
    5) R  S : 6) : MPP 1, 5
    6) S  R : 7) : ADIC. 6
    7) S : 8) : CONMUT. 3
    8) S  T : 9) : SIMPLIF. 8
    9) U : 10) : ADJUN. 7, 9
      Semana 13: TAREA

    1) Elaborar la Demostración Lógica

    del Esquema siguiente.

     Archivo Word: “III B Apellido”


     1ra opción: Subir al aula virtual. 2da opción:
    Entregar por Whatsaap.
     
    1) P   Q
    2) R  Q
    3)  R  S
    4)  P   T
    5)  T   R // ( P  S )  ( P  S )
    6)
    7)
    8)
    9)
    10)

    También podría gustarte