Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 195 vistas

    29 Ga3 220501093 Aa1 Ev01

    Cargado por

    Jhon Erick
    Este documento presenta dos problemas de lógica proposicional que son resueltos paso a paso. También incluye la construcción de la tabla de verdad para las expresiones (P ∧ Q) y (P ∨ ¬Q). El aprendiz Jhon Erick Santos González resuelve correctamente ambos problemas aplicando los conceptos de lógica proposicional aprendidos.

    Copyright:

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

    29 Ga3 220501093 Aa1 Ev01

    Cargado por

    Jhon Erick
    195 vistas3 páginas
    Este documento presenta dos problemas de lógica proposicional que son resueltos paso a paso. También incluye la construcción de la tabla de verdad para las expresiones (P ∧ Q) y (P ∨ ¬Q). El aprendiz Jhon Erick Santos González resuelve correctamente ambos problemas aplicando los conceptos de lógica proposicional aprendidos.

    Título original

    29-GA3-220501093-AA1-EV01

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta dos problemas de lógica proposicional que son resueltos paso a paso. También incluye la construcción de la tabla de verdad para las expresiones (P ∧ Q) y (P ∨ ¬Q). El aprendiz Jhon Erick Santos González resuelve correctamente ambos problemas aplicando los conceptos de lógica proposicional aprendidos.

    Copyright:

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

    29 Ga3 220501093 Aa1 Ev01

    Cargado por

    Jhon Erick
    Este documento presenta dos problemas de lógica proposicional que son resueltos paso a paso. También incluye la construcción de la tabla de verdad para las expresiones (P ∧ Q) y (P ∨ ¬Q). El aprendiz Jhon Erick Santos González resuelve correctamente ambos problemas aplicando los conceptos de lógica proposicional aprendidos.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 3

    Bases conceptuales de lógica proposicional

    GA3-220501093-AA1-EV01

    APRENDIZ
    JHON ERICK SANTOS GONZALEZ

    FICHA:
    2455275

    INSTRUCTOR:
    CARLOS FABIAN MARTINEZ MORA

    CENTRO DE LA INDUSTRIA, LA EMPRESA Y LOS SERVICIOS


    SENA REGIONAL HUILA

    TECNOLOGO EN ANALISIS Y DESARROLLO DE SOFTWARE


    (ADSO)
    1) Teniendo en cuenta los conceptos desarrollados durante el componente formativo,
    construir un documento donde se dé solución a los siguientes problemas de lógica
    proposicional registrando cada uno de los pasos elaborados para llegar a la solución:

    (2 * 5) < 8 OR ((4 * 6) > (2 * 5) )

    (4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 ) ) < 3

    Solución

    1-Separar las operaciones por cada operador lógico

    2-Resolver las operaciones de cada uno de los paréntesis

    3-Realizar la comprobación lógica si es mayor o menor que

    4-Resolver la proposición compuesta evaluando el conector lógico

    (2 * 5) < 8 OR ((4 * 6) > (2 * 5))

    10 < 8 OR (24 > 10)

    True OR True = > TRUE La preposición es verdad

    Solución

    1-Separar las operaciones por cada operador lógico

    2-Resolver las operaciones de cada uno de los paréntesis

    3-Realizar la comprobación lógica si es mayor o menor que

    4-Resolver la proposición compuesta evaluando el conector lógico

    (4+ 5) < 3 AND ((5 * 5) + (4 + 25)) < 3


    9 < 3 AND (25 + 29) < 3
    9 < 3 AND 54 < 3
    False AND True = > FALSE La preposición es falso
    1) Construir la tabla de verdad para las siguientes expresiones:

     ( P ∧ Q)

     ( P ∨  Q)

    Solución

    p q  (P ∧ Q)
    p q  (P ∨  Q)
    V V F
    V F V
    V V F
    f v v
    V F F
    f f v f v F
    f f v

    También podría gustarte