Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Bases Conceptuales de Lógica Proposicional GA3

    Cargado por

    jorge alejandro huertas sanchez
    4 vistas5 páginas
    El documento presenta tres ejercicios para practicar tablas de verdad y lógica proposicional. El primer ejercicio evalúa la expresión (2*5) < 8 OR ((4*6) > (2*5)) usando tablas de verdad. El segundo ejercicio evalúa la expresión (4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)). El tercer ejercicio construye tablas de verdad para las expresiones ¬ (p ^ q) y ¬ (p ¬ q). La conclusión es que se afianzaron

    Descripción original:

    kvdñlnlñdwlñdmwqñldqwlñ

    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?

    Denunciar este documento
    El documento presenta tres ejercicios para practicar tablas de verdad y lógica proposicional. El primer ejercicio evalúa la expresión (2*5) < 8 OR ((4*6) > (2*5)) usando tablas de verdad. El segundo ejercicio evalúa la expresión (4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)). El tercer ejercicio construye tablas de verdad para las expresiones ¬ (p ^ q) y ¬ (p ¬ q). La conclusión es que se afianzaron

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    4 vistas5 páginas

    Bases Conceptuales de Lógica Proposicional GA3

    Cargado por

    jorge alejandro huertas sanchez
    El documento presenta tres ejercicios para practicar tablas de verdad y lógica proposicional. El primer ejercicio evalúa la expresión (2*5) < 8 OR ((4*6) > (2*5)) usando tablas de verdad. El segundo ejercicio evalúa la expresión (4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)). El tercer ejercicio construye tablas de verdad para las expresiones ¬ (p ^ q) y ¬ (p ¬ q). La conclusión es que se afianzaron

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 5

    Bases conceptuales de lógica proposicional GA3-220501093-AA1-EV01.

    INTEGRANTE DEL PROYECTO

    Jorge Alejandro Huertas Sanchez

    TUTOR

    EFRAIN VARGAS STERLING


    Instructor

    FICHA
    2721558

    SERVICIO NACIONAL DE APRENDZAJE SENA

    ANALISIS Y DESARROLLO DE SOFTWARE

    SENA VIRUTAL

    2023
    Introducción
    En el siguiente trabajo se desarrollará los ejercicios propuestos en la guía de
    aprendizaje 3 con el objetivo de afianzar los conocimientos de tablas de verdad
    y lógica proposicional, recordando sus conectores y forma de trabajarlos.
    Ejercicio 1.
    (2*5) < 8 OR ((4*6) > (2*5))
    Procedemos a realizar las operaciones correspondientes
    Podemos evidenciar que la proposición 10 < 8 es falsa (F) y la proposición 24 >
    10 es verdadera (V)
    Ahora daremos nombres a las proposiciones, donde 10 < 8 será p y 24 > 10 será
    q
    Realizamos una pequeña tabla de verdad.

    Tenemos como el resultado que la expresión anterior es verdadera (V).


    Ejercicio 2
    (4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)
    9 < 3 AND (25 + (29 < 3)
    9 < 3 AND 54 < 3
    Podemos deducir que la expresión 9 < 3 es falsa (F) y que 54 < 3 también es
    falsa (F)
    Ahora daremos nombres a las proposiciones, donde 9 < 3 será p y 54 > 3 será q
    Realizamos una pequeña tabla de verdad

    Tenemos como el resultado que la expresión anterior es falsa (F).


    Ejercicio 3
    Construcción de tabla de verdad para las siguientes expresiones:
    ¬ (p ^ q)
    En la anterior tabla asignamos los valores correspondientes de p y q, se
    procede a encontrar el valor de p ^ q (p AND q) y el respectivo resultado lo
    negamos ¬ (p ^ q) ¬ (p ¬ q)

    Como en el ejercicio anterior asignamos valores a p y q, luego se realizó la


    negación de q (¬ q), se procede a encontrar el resultado de p y q negada p ¬ q
    (p OR NEGACIÓN q) y por˅ último procedemos a negar el resultado anterior ¬
    (p ¬ q ) (NEGACIÓN (p OR NEGACIÓN˅ q)).
    Conclusión
    Con el desarrollo de la evidencia anterior se afianzaron conocimientos sobre
    lógica proposicional y tablas de verdad, así como el conocimiento de algunos
    conectores y su forma de trabajar dentro de los ejercicios propuestos

    También podría gustarte