Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Tablas de verdad lógica formal

    Cargado por

    Oda Hernández
    18 vistas3 páginas
    Este documento presenta 6 ejercicios lógicos que deben ser resueltos mediante tablas de verdad. Cada ejercicio contiene una expresión lógica que debe evaluarse para todas las posibles combinaciones de valores de verdad de las proposiciones que la componen, generando una tabla de 2 a 4 filas y columnas que muestra los resultados. El objetivo es aplicar los conceptos de lógica formal aprendidos para determinar si cada expresión es verdadera o falsa basado en los valores de sus componentes.

    Descripción original:

    ejercicios

    Título original

    Tarea no. 17, tabla de verdad-domingo-2020

    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?

    Denunciar este documento
    Este documento presenta 6 ejercicios lógicos que deben ser resueltos mediante tablas de verdad. Cada ejercicio contiene una expresión lógica que debe evaluarse para todas las posibles combinaciones de valores de verdad de las proposiciones que la componen, generando una tabla de 2 a 4 filas y columnas que muestra los resultados. El objetivo es aplicar los conceptos de lógica formal aprendidos para determinar si cada expresión es verdadera o falsa basado en los valores de sus componentes.

    Copyright:

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

    Tablas de verdad lógica formal

    Cargado por

    Oda Hernández
    Este documento presenta 6 ejercicios lógicos que deben ser resueltos mediante tablas de verdad. Cada ejercicio contiene una expresión lógica que debe evaluarse para todas las posibles combinaciones de valores de verdad de las proposiciones que la componen, generando una tabla de 2 a 4 filas y columnas que muestra los resultados. El objetivo es aplicar los conceptos de lógica formal aprendidos para determinar si cada expresión es verdadera o falsa basado en los valores de sus componentes.

    Copyright:

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

    UNIVERSIDAD MARIANO GÁLVEZ DE

    GUATEMALA
    CENTRO UNIVERSITARIO DE ESCUINTLA,
    ESCUINTLA
    LICENCIATURA EN PSICOLOGÍA INDUSTRIAL
    ORGANIZACIONAL
    CURSO: LÓGICA FORMAL

    NOMBRE:Odalys Dayana Hernández Quiyuch


    FECHA: 30/11/2020
    A continuación, encontrarán una serie de ejercicios simbólicos que deben de
    convertir en tabla de verdad cada uno, según la explicación del documento
    anterior.

    1. p ↔ (q ˄ r)
    p q r p ↔ (q ˄ r)
    V V V V V V
    V V F V F F
    V F V V F F
    V F F V F F
    F V V F F v
    F V F F V F
    F F V F V F
    F F f F V f

    2. (p v q)
    p q (p v q)

    V V V
    V F V
    F V V
    F F F
    3. (p ˄ q) → (r ˄ s)

    p q r s (p ˄ q) → (r ˄ s)

    V V V V V V v
    V V V F V F F
    V V F V V F F
    V V F F V F F
    V F V V F V V
    V F V F F V F
    V F F V F V F
    V F F F F V F
    F V V V F V V
    F V V F F V F
    F V F V F V F
    F V F F F V F
    F F V V F V V
    F F V F F V F
    F F F V F V F
    F F F F F V F

    4. p → (q v r)
    p q r p → (q v r)

    V V V V V
    V
    V V F V V V
    V F V V V V
    V F F V F F
    F V V F V V
    F V F F V V
    F F V F V V
    F F F F V V

    5. (p ↔ q)
    p q (p ↔ q)

    V V V
    V F F
    F V F
    F F V

    6.(~p ˄ ~q) ˄ (p ˅ q)
    p q ~p ~q (~p ˄ ~q ˄ (p ˅ q)

    V V F F F F V
    V F F V F F V
    F V V F F F V
    F F V v V f F

    También podría gustarte