Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 93 vistas

    Control Semana 4 LMD

    Cargado por

    Maria Ignacia Tapia Sanchez
    Este documento presenta 4 ejercicios de lógica matemática y digital. En cada ejercicio se dan varias proposiciones y el objetivo es demostrar ciertas conclusiones utilizando reglas de inferencia. Se resuelven los ejercicios aplicando leyes como la de silogismo hipotético, Morgan, simplificación y adición.

    Copyright:

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

    Control Semana 4 LMD

    Cargado por

    Maria Ignacia Tapia Sanchez
    93 vistas5 páginas
    Este documento presenta 4 ejercicios de lógica matemática y digital. En cada ejercicio se dan varias proposiciones y el objetivo es demostrar ciertas conclusiones utilizando reglas de inferencia. Se resuelven los ejercicios aplicando leyes como la de silogismo hipotético, Morgan, simplificación y adición.

    Descripción original:

    Título original

    control_semana_4_LMD.docx

    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?

    Este documento presenta 4 ejercicios de lógica matemática y digital. En cada ejercicio se dan varias proposiciones y el objetivo es demostrar ciertas conclusiones utilizando reglas de inferencia. Se resuelven los ejercicios aplicando leyes como la de silogismo hipotético, Morgan, simplificación y adición.

    Copyright:

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

    Control Semana 4 LMD

    Cargado por

    Maria Ignacia Tapia Sanchez
    Este documento presenta 4 ejercicios de lógica matemática y digital. En cada ejercicio se dan varias proposiciones y el objetivo es demostrar ciertas conclusiones utilizando reglas de inferencia. Se resuelven los ejercicios aplicando leyes como la de silogismo hipotético, Morgan, simplificación y adición.

    Copyright:

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

    Control semana 4

    Mario Ponce Perez

    Lógica Matemática y Digital

    Instituto IACC

    12-10-2020
    Desarrollo

    1) Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante el uso de las
    reglas de inferencia si la conclusión planteada es válida.

    Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el semestre;


    por lo tanto, si Juan no estudia matemáticas entonces perderá el ciclo.

    Premisa 1 = Juan estudia matemáticas = q


    Premisa 2 = Juan aprueba matemáticas = r
    Premisa 3 = Juan pierde semestre = s

    1= ￢q → ￢r
    2= ￢r → s
    3=Conclusión: ￢q → s
    4= ￢q → s LSH 1,2

    Ley de silogismo hipotético


    Premisa P→Q
    Premisa Q→R
    Conclusión P→R

    2) Utilizando las reglas de inferencia, demostrar que “q” es una conclusión valida para las siguientes

    1=↔ (s Λ q) (p)
    2=￢ [￢ (s Λ q) V r] (p)
    3= (s Λ q) Λ ￢ r LM 2
    Ley de Morgan
    Premisa ￢ (P Λ Q)
    Conclusión ￢P V ￢Q
    3) Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las siguientes
    proposiciones.

    1= ￢ (￢ P V ￢ Q) (p)
    2= P→ (H Λ T) (p)
    3= Q → (H Λ T) (p)
    4= P Λ Q LM 1
    Premisa ￢ (P V Q)
    Conclusión ￢ PVQ

    5= (H Λ T) V (H Λ T) LSil.D (Silogismo) 2, 3 y 4

    Premisa PVQ
    Premisa P→R
    Premisa Q→S
    Conclusión RVS

    6= H Λ T LSim.D (Simplificación) 5
    Premisa PVP
    Conclusión P

    4) Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para las siguientes
    proposiciones.

    1= N→ ￢Q (p)
    2=￢￢Q (p)
    3=￢(N V P)→ N (p)
    4=￢ N MTT 1 y 2
    Premisa P→Q
    Premisa P→Q
    Conclusión ￢P

    5= N V P MTT 3 y 4
    Acá existe un conector de conjunción en lugar de disyunción, podríamos haber aplicado la ley de
    simplificación, y si el ejercicio fuese N Λ P quedaría así :
    6= P LS 5 (simplificación)
    Premisa PΛQ
    Conclusión P

    7= P V H LA 6 (Adición)
    Premisa P

    Conclusion PVQ
    Bibliografía

    También podría gustarte