Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 18 vistas

    Clase 5 (Teoria)

    Cargado por

    Maxi Garin

    Copyright:

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

    Clase 5 (Teoria)

    Cargado por

    Maxi Garin
    18 vistas3 páginas

    Título original

    Clase 5 (teoria)

    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
    18 vistas3 páginas

    Clase 5 (Teoria)

    Cargado por

    Maxi Garin

    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

    UNIDAD 2

    1. Lógica Proposicional: Definición y Propiedades

    Definición: La lógica proposicional es una rama de la lógica que se ocupa de las proposiciones y
    sus relaciones mediante conectivas lógicas. En la lógica proposicional, las proposiciones son
    enunciados que pueden ser verdaderos o falsos.

    Propiedades:

     Bivalencia: Cada proposición tiene un valor de verdad, verdadero (V) o falso (F).

     Composicionalidad: Los valores de verdad de proposiciones compuestas dependen de


    los valores de verdad de sus componentes y de las conectivas lógicas que las unen.

    2. Simbolización

    Definición: La simbolización en lógica proposicional es el proceso de representar enunciados


    mediante símbolos lógicos para facilitar el análisis formal. Las proposiciones se representan con
    letras (por lo general, 𝑃,Q,𝑅) y las conectivas con símbolos específicos.

    3. Enunciados y Conectivas

    Enunciados: Los enunciados en lógica proposicional son afirmaciones que pueden ser
    verdaderas o falsas. Ejemplos incluyen "Llueve" (P) y "Hace frío" (Q).

    Conectivas:

     Negación (¬): Invierte el valor de verdad de una proposición.

     ¬𝑃

     Conjunción (∧): Es verdadera si ambas proposiciones son verdaderas.

     𝑃∧𝑄
     Disyunción (∨): Es verdadera si al menos una de las proposiciones es verdadera.

     𝑃∨𝑄

     Disyunción exclusiva (  ): sólo admite que es verdadera, si una de las proposiciones es


    verdadera y la otra es falsa.

     𝑃𝑄
     Implicación o condicional (→): Es falsa solo si la primera proposición es verdadera y la
    segunda es falsa.

     𝑃→𝑄

     Bicondicional (↔): Es verdadera si ambas proposiciones tienen el mismo valor de


    verdad.

     𝑃↔𝑄
    Expresiones coloquiales y conectivos lógicos.

    4. Fórmulas Bien Formadas (FBF)

    Definición: Una fórmula bien formada es una expresión en la lógica proposicional que está
    construida de acuerdo con las reglas sintácticas del sistema. Estas reglas especifican cómo las
    proposiciones y las conectivas pueden combinarse para formar fórmulas válidas.

    Ejemplo de FBF:

     ¬(𝑃∧𝑄)

     (𝑃→𝑄)∨(¬𝑅)

    5. Traducción Simbólica

    Definición: La traducción simbólica es el proceso de convertir enunciados del lenguaje natural a


    fórmulas en la lógica proposicional mediante simbolización.

    Ejemplo:

     Enunciado: "Si llueve, entonces la calle está mojada."

     Traducción simbólica: 𝑃→𝑄 (donde 𝑃 es "llueve" y 𝑄 es "la calle está mojada")

    6. Funciones de Verdad y Tablas de Verdad

    Funciones de Verdad: Las funciones de verdad determinan el valor de verdad de proposiciones


    compuestas en función de los valores de verdad de sus componentes.
    Tablas de Verdad: Las tablas de verdad son herramientas que muestran todos los posibles
    valores de verdad de una fórmula lógica.

    Conjunción Disyunción

    p q p∧ q p q p ∨q
    V V V V V V
    V F F V F V
    F V F F V V
    F F F F F F

    Disyunción Exclusiva Bicondicional o Doble


    implicación
    p q p↔q
    p q p q V V V
    V V F V F F
    V F V F V F
    F V V F F V
    F F F

    Condicional Negación

    p q p→ q p ¬p
    V V V V F
    V F F V F
    F V V F V
    F F V F V

    p q Directo Reciproco Inversa Contra reciproco


    p→q q→p ¬p → ¬q ¬q → ¬p

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

    También podría gustarte