Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 328 vistas

    Cond Asociado U3

    Cargado por

    civq
    El documento explica tres argumentos deductivos utilizando el método del condicional asociado. Resume los tres argumentos y sus conclusiones de la siguiente manera: 1) De (p v q) y ~q se deduce p. 2) De (p → q) y ~q se deduce ~p. 3) De (p ≡ q) y (q v r) es una contingencia y no se deduce necesariamente q.

    Copyright:

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

    Cond Asociado U3

    Cargado por

    civq
    328 vistas2 páginas
    El documento explica tres argumentos deductivos utilizando el método del condicional asociado. Resume los tres argumentos y sus conclusiones de la siguiente manera: 1) De (p v q) y ~q se deduce p. 2) De (p → q) y ~q se deduce ~p. 3) De (p ≡ q) y (q v r) es una contingencia y no se deduce necesariamente q.

    Título original

    cond_asociado_u3

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento explica tres argumentos deductivos utilizando el método del condicional asociado. Resume los tres argumentos y sus conclusiones de la siguiente manera: 1) De (p v q) y ~q se deduce p. 2) De (p → q) y ~q se deduce ~p. 3) De (p ≡ q) y (q v r) es una contingencia y no se deduce necesariamente q.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    328 vistas2 páginas

    Cond Asociado U3

    Cargado por

    civq
    El documento explica tres argumentos deductivos utilizando el método del condicional asociado. Resume los tres argumentos y sus conclusiones de la siguiente manera: 1) De (p v q) y ~q se deduce p. 2) De (p → q) y ~q se deduce ~p. 3) De (p ≡ q) y (q v r) es una contingencia y no se deduce necesariamente q.

    Copyright:

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

    Condicional asociado

    Aplica los pasos que corresponden al método del condicional asociado para
    demostrar argumentos deductivos en las simbolizaciones que aquí se
    muestran.

    Argumento 1

    Premisa 1: (p ˅ q)
    Premisa 2: ~ q
    Conclusión: p

    {[(p ˅ q) ^ ~ q] ᵙ p}

    p q {[ (p ˅ q) ^ ~ q] ᵙ p}
    V V V V V F F V V
    V F V V F V V V V
    F V F V V F F V F
    F F F F F F V V F
    V V V V V F F V V
    V F V V F V V V V
    F V F V V F F V F
    F F F F F F V V F

    Nos muestra el conectivo principal puros verdaderos, así que es una tautología

    Argumento 2

    Premisa 1: (p ᵙ q)
    Premisa 2: ~ q
    Conclusión: ~ p

    {[(p ᵙ q) ^ ~ q] ᵙ ~ p}

    p q {[ (p ᵙ q) ^ ~ q] ᵙ ~p}
    V V V V V F F V F
    V F V F F F V V F
    F V F V V F F V V
    F F F V F V V V V
    V V V V V F F V F
    V F V F F F V V F
    F V F V V F F V V
    F F F V F V V V V
    Nos muestra el conectivo principal puros verdaderos, así que es una tautología
    Argumento 3

    Premisa 1: (p ≡ q)
    Premisa 2: (q v r)
    Conclusión: q

    {[(p ≡ q) ^ (q v r)] ᵙ q}

    p q r {[ (p ≡ q) ^ (q v r)] ᵙ q}
    V V V V V V V V V V V V
    V V F V V V V V V F V V
    V F V V F F F F V V V F
    V F F V F F F F F F V F
    F V V F F V F V V V V V
    F V F F F V F V V F V V
    F F V F V F V F V V F F
    F F F F V F F F F F V F

    Nos muestra el conectivo principal nos muestra verdades y falsedades, así que
    es una contingencia

    También podría gustarte