Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 185 vistas

    Tarea 1 Logica Letra D

    Cargado por

    Juan Carlos Torres Gutierrez
    El documento presenta varios ejercicios sobre proposiciones lógicas, tablas de verdad y reglas de inferencia. El primer ejercicio define varias proposiciones p, q y r y una expresión lógica (p ∨ q) ↔ r, y muestra su tabla de verdad. El segundo identifica expresiones simbólicas que representan reglas de inferencia como el silogismo disyuntivo y el silogismo hipotético. El tercer ejercicio aplica la regla de inferencia modus ponens. El cuarto ejercicio exp

    Copyright:

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

    Tarea 1 Logica Letra D

    Cargado por

    Juan Carlos Torres Gutierrez
    185 vistas7 páginas
    El documento presenta varios ejercicios sobre proposiciones lógicas, tablas de verdad y reglas de inferencia. El primer ejercicio define varias proposiciones p, q y r y una expresión lógica (p ∨ q) ↔ r, y muestra su tabla de verdad. El segundo identifica expresiones simbólicas que representan reglas de inferencia como el silogismo disyuntivo y el silogismo hipotético. El tercer ejercicio aplica la regla de inferencia modus ponens. El cuarto ejercicio exp

    Descripción original:

    tablas de verdad y proposiciones

    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 varios ejercicios sobre proposiciones lógicas, tablas de verdad y reglas de inferencia. El primer ejercicio define varias proposiciones p, q y r y una expresión lógica (p ∨ q) ↔ r, y muestra su tabla de verdad. El segundo identifica expresiones simbólicas que representan reglas de inferencia como el silogismo disyuntivo y el silogismo hipotético. El tercer ejercicio aplica la regla de inferencia modus ponens. El cuarto ejercicio exp

    Copyright:

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

    Tarea 1 Logica Letra D

    Cargado por

    Juan Carlos Torres Gutierrez
    El documento presenta varios ejercicios sobre proposiciones lógicas, tablas de verdad y reglas de inferencia. El primer ejercicio define varias proposiciones p, q y r y una expresión lógica (p ∨ q) ↔ r, y muestra su tabla de verdad. El segundo identifica expresiones simbólicas que representan reglas de inferencia como el silogismo disyuntivo y el silogismo hipotético. El tercer ejercicio aplica la regla de inferencia modus ponens. El cuarto ejercicio exp

    Copyright:

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

    Ejercicio 1: Proposiciones y tablas de verdad

     D.
    p: Los precios internacionales del petróleo se dispararon
    más del 4%
    q: La demanda de oro negro depende del precio
    internacional del petróleo

    r: El consumo de petróleo aumento más de un millón de


    barriles

    ( p ∨q ) ↔ r

    Los precios internacionales del petróleo se dispararon más del 4%


    o la demanda de oro negro depende del precio internacional del
    petróleo, si y solo si el consumo de petróleo aumento más de un millón
    de barriles.

    p q r p ∨q ( p ∨q ) ↔ r
    V V V V V
    V V F V F
    V F V V V
    V F F V F
    F V V V V
    F V F V F
    F F V F F
    F F F F V

    Es una contingencia porque hay valores verdaderos y falsos


    Ejercicio 2: : Identificación de las reglas de la inferencia lógica

    A continuación, encuentra el lenguaje simbólico de expresiones que


    representan algunas leyes de inferencia.

    D. Expresión simbólica

    pV ¬q
    q

    p
    Regla de inferencia: Silogismo disyuntivo

    p: Paola estudia ingeniería industrial


    q: Paola matricula el curso Cálculo diferencial

    r: Paola matricula el curso Lógica matemática

    s: Paola estudia en la CEAD Bogotá

    Paola estudia ingeniería industrial o Paola no matricula el curso Cálculo


    diferencial, Paola matricula el curso Cálculo diferencial, por lo tanto,
    Paola estudia ingeniería industrial
    p →q
    q →r

    p →r

    Regla de inferencia: Silogismo Hipotético

    Si Paola estudia ingeniería industrial entonces Paola matricula el curso


    Cálculo diferencial, Si Paola matricula el curso Cálculo diferencial
    entonces Paola matricula el curso Lógica matemática, por lo tanto, Si
    Paola estudia ingeniería industrial entonces Paola matricula el curso
    Lógica matemática

    ¬ p ∧¬ q

    ¬q

    Regla de inferencia: Simplificación

    Paola no estudia ingeniería industrial y Paola no matricula el curso


    Cálculo diferencial, por lo tanto, Paola no matricula el curso Cálculo
    diferencial

    Ejercicio 3: Aplicación de las reglas de inferencia

    D. La vacunación contra el COVID-19 ayuda a evitar que contraiga la


    enfermedad. Vacunarse puede proteger a las personas están a su

    alrededor.

    a. Conclusión: _Protejo las personas a mi alrededor _________

    b. Ley de inferencia aplicada: __Ponendo ponens.

    c. Lenguaje simbólico:

    p: Me vacuno contra el COVID-19

    q: Evito contraer la enfermedad


    r: Protejo las personas a mi alrededor

    P1: ( p →r ) Premisa
    P3: p Premisa
    C.r (PP) 1, 2, Ponendo ponens

    Ejercicio 4: Problemas de aplicación

    Expresión simbólica:

    {[ ( p ∧r ) → ( p ∧ s ) ] ∧ ( p ∧r ) } → s
    Determinación de Premisas:
    P1: ( p ∧r ) → ( p ∧ s )
    P2:( p ∧r )

    Conclusión:
    s

    Desarrollo:

     Proposiciones simples: (se define cada proposición simple del


    argumento, siempre en afirmativo y con letras en minúscula).

    p: apruebo los pre saberes

    r: obtengo buenas calificaciones

    s: apruebo lógica matemática


     Razonamiento en lenguaje natural: (A partir de las
    proposiciones simples anteriores y el lenguaje simbólico dado en el
    ejercicio, se construye la expresión en lenguaje formal o natural)

    Si Apruebo los pre saberes y obtengo buenas calificaciones, entonces


    si Apruebo los pre saberes y apruebo lógica matemática, y si Apruebo
    los pre saberes y obtengo buenas calificaciones. Por lo tanto, apruebo
    lógica matemática

     Generar la tabla de verdad manualmente: La tabla de verdad


    está compuesta por 3 columnas de proposiciones simples, y 6
    columnas de operadores lógicos.

    p r s p ∧r p ∧ s ( ( p ∧ R ) → ( p ∧ s () )p ∧ R ) → ( p ∧ s ) ∧( p ∧ r) 7 →∗s
    V V V V V V V V
    V V F V F F F V
    V F V F V V F V
    V F F F F V F V
    F V V F F V F V
    F V F F F V F V
    F F V F F V F V
    F F F F F V F V

     Resultado de la tabla de verdad: TAUTOLOGIA ya que enla última


    columna son todas verdaderas
     Generando la tabla de verdad con el simulador Lógica UNAD
    leyes de inferencia: (Demostrar la validez del argumento mediante la
    aplicación de las leyes de inferencia)
    1. P1: ( p ∧r ) → ( p ∧ s )
    2. P2:( p ∧r )
    3. ( p ∧s ) (PP) 1, 2 Ponendo ponens

    Conclusión:
    4. s (S) Simplificacion

    También podría gustarte