Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 320 vistas

    Ejercicio 3 Unidad 3

    Cargado por

    CRISTIAN CAMILO MONSALVE MORCILLO
    El documento presenta tres ejercicios de lógica proposicional. El primer ejercicio clasifica dos proposiciones categóricas como contradictorias. El segundo ejercicio analiza un argumento como deductivo. El tercer ejercicio expresa una fórmula lógica en lenguaje natural y genera su tabla de verdad para demostrar que es una tautología.

    Copyright:

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

    Ejercicio 3 Unidad 3

    Cargado por

    CRISTIAN CAMILO MONSALVE MORCILLO
    320 vistas5 páginas
    El documento presenta tres ejercicios de lógica proposicional. El primer ejercicio clasifica dos proposiciones categóricas como contradictorias. El segundo ejercicio analiza un argumento como deductivo. El tercer ejercicio expresa una fórmula lógica en lenguaje natural y genera su tabla de verdad para demostrar que es una tautología.

    Descripción original:

    Ejercicio 3 Unidad 3

    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 presenta tres ejercicios de lógica proposicional. El primer ejercicio clasifica dos proposiciones categóricas como contradictorias. El segundo ejercicio analiza un argumento como deductivo. El tercer ejercicio expresa una fórmula lógica en lenguaje natural y genera su tabla de verdad para demostrar que es una tautología.

    Copyright:

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

    Ejercicio 3 Unidad 3

    Cargado por

    CRISTIAN CAMILO MONSALVE MORCILLO
    El documento presenta tres ejercicios de lógica proposicional. El primer ejercicio clasifica dos proposiciones categóricas como contradictorias. El segundo ejercicio analiza un argumento como deductivo. El tercer ejercicio expresa una fórmula lógica en lenguaje natural y genera su tabla de verdad para demostrar que es una tautología.

    Copyright:

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

    Ejercicios de la tarea 3:

    Ejercicio 1: Proposiciones categóricas.

    Proposiciones categóricas:

    B).

    p: Algunos docentes son ingenieros industriales

    q: Ningún docente es ingeniero industrial

     Definición de la estructura de la proposición categórica

    Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

    Algunos docentes son Ingenieros industriales

     Determinar el tipo de proposición (A, E, I, O).

    Clasificación de p: Proposición tipo “I”.

    Particular afirmativa. Cuantificador particular y cualidad afirmativa.

     Definición de la estructura de la proposición categórica

    Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

    Ningún docente es Ingeniero industrial

     Determinar el tipo de proposición (A, E, I, O).

    Clasificación de q: Proposición tipo “E”.

    Universal negativa. Cuantificador universal y cualidad negativa.


     Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.

    q
    p

    De acuerdo al esquema propuesta p y q son contradictorias

    Ejercicio 2: Razonamiento Deductivo e Inductivo

    Argumento: De todos los felinos, el león es el rey de la selva, ya que es el felino más
    grande de África y por su melena pareciera que tuviese corona. Su único potencial
    depredador es la hiena, pero solo si ésta lo ataca en grupo; de lo contrario, hiena contra león
    tendrá como muy probable vencedor al león.

    Desarrollo

    Argumentación: El razonamiento utilizado es el deductivo, ya que, a partir de hechos


    conocidos como; el león es el rey de la selva, se deduce la soberanía de este animal con
    respecto a sus semejantes, debido a que la supervivencia en la selva es mucho más factible,
    gracias a sus características físicas.
    Ejercicio 3: Problemas de aplicación

    Expresión simbólica:

    B. Expresión simbólica: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

    Premisas:
    P1: 𝑝 ∧ ¬𝑞
    P2: 𝑝 → ¬𝑟
    P3: 𝑞 ∨ ¬𝑠

    Conclusión: ¬𝑟 ∧ ¬𝑠

    Desarrollo:

     Proposiciones simples:

    p: estudio para el parcial


    q: puede perderlo
    r: puede perder la materia
    s: puede bajar el promedio

     Razonamiento en lenguaje natural:

    Si estudio para el parcial. No puedo perderlo. O si estudio para el parcial entonces no


    puedo perder la materia. O si estudio para el parcial no puedo bajar el promedio. Por lo
    tanto no puedo perder la materia. Y no puedo bajar el promedio.
    Generar la tabla de verdad manualmente:

    p q r s ¬q ¬r ¬s p ^ ¬q p→ ¬r q v ¬s ¬r ^ ¬s [(p^¬q)^(p→¬r)^(q v ¬s)]→(¬r^¬s)
    V V V V F F F F F V F V
    V V V F F F V F F V F V
    V V F V F V F F V V F V
    V V F F F V V F V V V V
    V F V V V F F V F F F V
    V F V F V F V V F V F V
    V F F V V V F V V F F V
    V F F F V V V V V V V V
    F V V V F F F F V V F V
    F V V F F F V F V V F V
    F V F V F V F F V V F V
    F V F F F V V F V V V V
    F F V V V F F F V F F V
    F F V F V F V F V V F V
    F F F V V V F F V F F V
    F F F F V V V F V V V V

     Resultado de la tabla de verdad: TAUTOLOGÍA

     Generar la tabla de verdad con el simulador Lógica UNAD


     Demostración de la validez del argumento mediante las leyes de la inferencia
    lógica:
    Premisas:
    P1: 𝑝 ∧ ¬𝑞
    P2: 𝑝 → ¬𝑟
    P3: 𝑞 ∨ ¬𝑠

    P4: p -----------S 1
    P5: ¬ r -------- MPP 4, 2
    P6: ¬ q -------- S 1
    P7: ¬ s -------- MTP 6, 3
    P8: ¬ r ^ ¬ s -- A 5, 7
    Conclusion: ¬𝑟 ∧ ¬𝑠

    También podría gustarte