Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 9 vistas

    Calculo Proposicional 23-11-22

    Cargado por

    Yayon Ooo

    Copyright:

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

    Calculo Proposicional 23-11-22

    Cargado por

    Yayon Ooo
    9 vistas16 páginas

    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?

    Copyright:

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

    Calculo Proposicional 23-11-22

    Cargado por

    Yayon Ooo

    Copyright:

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

    U N I V E R S I D A D D E C OSTA R I C A

    F A C U LTA D D E L ETRAS
    E S C U E L A D E F I L O S O F Í A

    I NTRODUCCIÓN A LA L ÓGICA

    P RÁCTICA R EPRESENTACIÓN
    DE E NUNCIADOS

    Fuente: Camacho Naranjo, Luis (1997)


    Introducción a la lógica. II Edición. Cartago:
    Editorial Tecnológica.
    Identificar cuáles reglas de inferencia
    están presentes.

    1. (P ∨ Q) ⊃ R 4. (H ⊃P) ⋅ (Q ⊃ R)

    R ⊃ T ∴ (P ∨ Q) ⊃ T ∽P ∨ ∽Q ∴ ∽H ∨ ∽Q

    2. (A ⋅ B) ⊃ (H ∨ L)

    (H ∨ L) ⊃ (S ⊃R) ∴ (A ⋅ B) ⊃ (S ⊃R)

    3. (A⋅B) ⊃ (Q ∨ F)

    ∼(Q ∨ F) ∴ ∽ (A⋅B)
    PRUEBA FORMAL
    PRUEBA FORMAL

    Proceso mediante el cual se deriva la conclusión a


    partir de las premisas mediante el uso de las reglas de
    inferencia y equivalencia.
    NOTA: para aplicar este método se debe saber con
    certeza que el argumento es válido

    Las causas de la actual crisis económica son la mala


    administración o la inversión en proyectos descabellados.
    Si la causa de la actual crisis económica es la mala
    administración entonces un cambio de gobierno puede T E R C E R PA S O
    acaber con la crisis. 1. M∨I
    Pero un cambio de gobierno no puede acabar la crisis. 2. M⊃C
    3. ∼C /∴ I
    Por consiguiente, la causa de la actual crisis económica es
    la inversión en proyectos descabellados. 4. ∼ M 2, 3 M.T.
    5. I 1, 4 S.D.

    P R I M E R PA S O
    S E G U N D O PA S O
    M: la causa de la crisis actual es la mala administración.
    1. M ∨ I
    I: la causa de la cridsis actual es la inversión en proyectos
    2. M ⊃ C
    descabellados.
    3. ∼C /∴ I
    C: un cambio de gobierno puede acabar la crisis.
    PRUEBA FORMAL

    Si no vienen visitas, entonces salgo a comprar.


    Si salgo a comprar, entonces gasto dinero y me canso.
    No gasto dinero o no me canso.
    Por consiguiente, vienen visitas.

    A S I G N A C I Ó N D E C O N S TA N T E S
    V: vienen visitas.
    S: salgo a caminar.
    G: gasto dinero.
    C: me canso.

    R E P R E S E N TA C I Ó N
    1. ∼V ⊃ S
    2. S ⊃ (G ⋅ C)
    3. ∼G ∨ ∼C /∴ V

    P RUEBA F ORMAL
    P RUEBA F ORMAL 1. ∼V ⊃ S
    1. ∼V ⊃ S 2. S ⊃ (G ⋅ C)
    2. S ⊃ (G ⋅ C) 3. ∼G ∨ ∼C /∴ V
    3. ∼G ∨ ∼C /∴ V 4. ∼V ⊃ (G ⋅ C) 1,2 S.H.
    4. ∼(G ⋅ C) 3, De. M. 5. ∼ (G ⋅ C) 3, De. M.
    5. ∼S 2,4, M.T. 6. ∼ ∼V 4,5 M.T.
    6. ∼ ∼V 1,5 M.T. 7. V 6 D.N.
    7. V DN
    PRÁCTICA

    Utilice la tabla de verdad para saber Utilece la prueba formal en los


    si el argumento es válido siguientes argumentos
    PRÁCTICA

    Represente y pruebe por


    prueba formal los siguientes
    argumentos.
    Justificar cada una de la líneas de
    prueba
    PRUEBA FORMAL
    PRUEBA FORMAL
    PRÁCTICA

    Utilice la tabla de verdad para saber Utilece la prueba formal en los


    si el argumento es válido siguientes argumentos
    PRÁCTICA

    Represente y pruebe por


    prueba formal los siguientes
    argumentos.

    También podría gustarte