Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2 vistas

    Presentación Mar 15-10-2024 - 750 Logica de La Progra

    Cargado por

    Jennifer Solano

    Copyright:

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

    Presentación Mar 15-10-2024 - 750 Logica de La Progra

    Cargado por

    Jennifer Solano
    2 vistas12 páginas

    Título original

    Presentación Mar 15-10-2024 - 750 Logica de la Progra

    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?

    Copyright:

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

    Presentación Mar 15-10-2024 - 750 Logica de La Progra

    Cargado por

    Jennifer Solano

    Copyright:

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

    750 - LÓGICA DE LA

    PROGRAMACIÓN
    2024 Q4
    Ing. Naomy Ríos
    Tablas de Verdad
    Objetivos
    • Construir tablas de verdad para proposiciones compuestas
    utilizando variables proposicionales y conectivos lógicos.

    • Identificar tautologías, contradicciones y contingencias


    utilizando tablas de verdad.
    Tabla de Verdad
    La tabla de verdad de una proposición compuesta
    muestra todas las posibles combinaciones de valores de
    verdad de las proposiciones atómicas que la componen.
    Símbolo Operador lógico Ejemplo Significado

    ¬o~ NO - Negación ~p o ¬p “No” p

    ^ Y - Conjunción p^q p “y” q

    v O - Disyunción pvq p “o” q


    Negación - NO
    La negación es un operador que se ejecuta sobre un único
    valor de verdad, devolviendo el valor contradictorio de la
    proposición considerada:
    • ¬p
    • ~p
    p ~p

    V F

    F V
    Disyunción - O
    La disyunción es un operador que opera
    sobre dos valores de verdad, típicamente p q pvq

    los valores de verdad de dos V V V

    proposiciones, devolviendo el valor de V F V

    verdad verdadero cuando una de las F V V

    proposiciones es verdadera, o cuando F F F


    ambas lo son, y falso cuando ambas son
    falsas.
    Conjunción - Y
    La conjunción es un operador que opera
    sobre dos valores de verdad, p q p^q
    típicamente los valores de verdad de V V V
    dos proposiciones, devolviendo el valor
    V F F
    de verdad verdadero cuando ambas
    proposiciones son verdaderas, y falso en F V F
    cualquier otro caso. Es decir es F F F
    verdadera cuando ambas son
    verdaderas.
    Implicación o Condicional(→)
    Se representa con el símbolo → y p q p→q
    establece una relación entre dos
    proposiciones, donde la primera V V V
    proposición implica la segunda. V F F
    Es verdadera excepto cuando la
    F V V
    primera proposición es
    verdadera y la segunda es falsa. F F V
    Por ejemplo, p → q significa "si p,
    entonces q".
    Bicondicional ( )
    También conocido como "si y solo p q p↔q
    si". Se representa con el símbolo
    V V V
    y es verdadero si ambas
    proposiciones tienen el mismo valor V F F
    de verdad (ambas verdaderas o
    F V F
    ambas falsas). Por ejemplo, p q
    significa "p si y solo si q". F F V
    Construcción de tablas de verdad
    Ejercicios
    Sabiendo que p y q son proposiciones verdaderas y que r y s son
    proposiciones falsas, determinar el valor de verdad de las proposiciones
    moleculares
    siguientes:

    • (p ^ ~q ) v (r ^~p ) v s
    • (q v p) ^ ~ (r v ~s ) v (~q ^ ~r )
    Ejercicios
    (p ^ ~q ) v (r ^~p ) v s
    (p ^ ~q )= (V ^ ~V) = (V ^ F) = F
    (r ^~p ) = (F ^ ~V) = (F ^ F) = F
    (F v F) v F = F

    (q v p) ^ ~ (r v ~s ) v (~q ^ ~r )
    (q v p) = (V v V) = V
    (r v ~s ) = (F v ~F) = (F v V) = V
    (~q ^ ~r ) = (F ^ V) = F
    (V ^ ~ V) v F = (V ^ F) v F
    FvF=F
    Conclusiones
    • El análisis de diferentes tipos de proposiciones y su representación en
    tablas de verdad proporciona una base sólida para evaluar la
    veracidad de afirmaciones complejas.

    • Los operadores lógicos, como Y, O y NO, nos permiten combinar


    proposiciones de manera significativa para representar relaciones
    lógicas entre ellas.

    También podría gustarte