Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 308 vistas

    Ejercicio 2 Expresión Simbolica

    Cargado por

    Andres Gutierrez
    El documento presenta una expresión lógica simbólica [(r ∨ s) ∧ ¬p ∧ (q ∨ ¬r) ∧ (q → p)] → s con cuatro premisas y una conclusión. Solicita definir las proposiciones simples p, q, r, s en un contexto académico, reemplazar las variables por enunciados en lenguaje natural, y generar tablas de verdad manual y con simulador para evaluar la validez del argumento.

    Copyright:

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

    Ejercicio 2 Expresión Simbolica

    Cargado por

    Andres Gutierrez
    308 vistas3 páginas
    El documento presenta una expresión lógica simbólica [(r ∨ s) ∧ ¬p ∧ (q ∨ ¬r) ∧ (q → p)] → s con cuatro premisas y una conclusión. Solicita definir las proposiciones simples p, q, r, s en un contexto académico, reemplazar las variables por enunciados en lenguaje natural, y generar tablas de verdad manual y con simulador para evaluar la validez del argumento.

    Descripción original:

    EXPRESIÓN SIMBOLICA

    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 una expresión lógica simbólica [(r ∨ s) ∧ ¬p ∧ (q ∨ ¬r) ∧ (q → p)] → s con cuatro premisas y una conclusión. Solicita definir las proposiciones simples p, q, r, s en un contexto académico, reemplazar las variables por enunciados en lenguaje natural, y generar tablas de verdad manual y con simulador para evaluar la validez del argumento.

    Copyright:

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

    Ejercicio 2 Expresión Simbolica

    Cargado por

    Andres Gutierrez
    El documento presenta una expresión lógica simbólica [(r ∨ s) ∧ ¬p ∧ (q ∨ ¬r) ∧ (q → p)] → s con cuatro premisas y una conclusión. Solicita definir las proposiciones simples p, q, r, s en un contexto académico, reemplazar las variables por enunciados en lenguaje natural, y generar tablas de verdad manual y con simulador para evaluar la validez del argumento.

    Copyright:

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

    B.

    Expresión simbólica:

    [(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠

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

    Conclusión: 𝑠

    A partir de la expresión simbólica seleccionada, el estudiante deberá:

     Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
    en un contexto, el que se solicita es un contexto académico, ejemplo:

    p: Carlos estudia en la UNAD

    q: La UNAD es una Universidad Pública

    Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

    Sean p, q, r, s, las siguientes preposiciones:

    P: El profesor explica bien

    Q: Entiendo bien el tema

    R: Gano el examen de la unidad 3

    S: Si estudio me gano la materia


     Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
    simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
    Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
    recurso)
     Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
    o foto del desarrollo manual).

    TAUTOLOGÍA

     Demostración de la validez del argumento mediante las leyes de la inferencia lógica

    Premisas:
    P1: ¬s → r
    P2: ¬q → r
    Conclusión: ¬q → r
    P3: ¬q → r

    También podría gustarte