Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 26 vistas

    Unidad 1 Del Modulo

    Cargado por

    Enrique Mozo
    Este documento presenta conceptos clave de la lógica proposicional, incluyendo proposiciones, conectivos lógicos como la implicación y el bicondicional, y las nociones de tautología, contradicción y contingencia. Explica que la lógica proposicional evalúa sentencias simples y complejas formadas con conectivos, y provee un ejemplo para demostrar que la expresión "(p → q) ^ (q → p) = p ↔ q" es una tautología, lo que muestra una equivalencia lóg

    Copyright:

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

    Unidad 1 Del Modulo

    Cargado por

    Enrique Mozo
    26 vistas33 páginas
    Este documento presenta conceptos clave de la lógica proposicional, incluyendo proposiciones, conectivos lógicos como la implicación y el bicondicional, y las nociones de tautología, contradicción y contingencia. Explica que la lógica proposicional evalúa sentencias simples y complejas formadas con conectivos, y provee un ejemplo para demostrar que la expresión "(p → q) ^ (q → p) = p ↔ q" es una tautología, lo que muestra una equivalencia lóg

    Título original

    UNIDAD 1 DEL MODULO

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPT, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta conceptos clave de la lógica proposicional, incluyendo proposiciones, conectivos lógicos como la implicación y el bicondicional, y las nociones de tautología, contradicción y contingencia. Explica que la lógica proposicional evalúa sentencias simples y complejas formadas con conectivos, y provee un ejemplo para demostrar que la expresión "(p → q) ^ (q → p) = p ↔ q" es una tautología, lo que muestra una equivalencia lóg

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd
    Descargar como ppt, pdf o txt
    26 vistas33 páginas

    Unidad 1 Del Modulo

    Cargado por

    Enrique Mozo
    Este documento presenta conceptos clave de la lógica proposicional, incluyendo proposiciones, conectivos lógicos como la implicación y el bicondicional, y las nociones de tautología, contradicción y contingencia. Explica que la lógica proposicional evalúa sentencias simples y complejas formadas con conectivos, y provee un ejemplo para demostrar que la expresión "(p → q) ^ (q → p) = p ↔ q" es una tautología, lo que muestra una equivalencia lóg

    Copyright:

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

    ESCUELAS FILOSOFICAS Y

    CAMBIOS
    PARADIGMATICOS II
    Unidad 1. SISTEMAS
    FORMALES, CALCULOS
    LOGICOS, LENGUAJES
    NATURALES,
    ARGUMENTOS Y FALACIAS
    SISTEMAS
    FORMALES
    Es una construcción teórica, que parte
    de una serie de signos y que tienen
    establecidas unas formas de relación,
    estos para formar expresiones mas
    complejas o compuestas que se llaman
    reglas de formación del sistema:
    encontramos la matemática y la lógica.
    Que es la Lógica…?

    Lógica es el estudio del razonamiento, que se refiere


    específicamente a si el razonamiento es correcto. La
    lógica se centra en la relación entre las afirmaciones y
    no en el contenido de una afirmación en particular.
    Proposiciones

    Ejemplos:
    El día de hoy está bonito.
    Está lloviendo.
    17+5=20

     
    Lógica Proposicional

    La lógica proposicional es la más antigua y simple de las formas


    de lógica. Utilizando una representación primitiva del lenguaje,
    permite representar y manipular aserciones sobre el mundo que
    nos rodea. La lógica proposicional permite el razonamiento, a
    través de un mecanismo que primero evalúa sentencias simples y
    luego sentencias complejas, formadas mediante el uso de
    conectivos proposicionales, por ejemplo Y (AND), O (OR).

    Entonces cual es la tarea de la lógica?


    QUE SONCALCULOS
    LOGICOS?
    Es una serie de relaciones que se dan
    entre enunciados y que hace posible
    hacer operaciones que permitan evaluar
    su validez formal y estos se dan a partir
    de parámetros establecidos por reglas
    del sistema
    ELEMENTOS
    PRIMITIVOS
    TABLAS DE
    Bicondicional
    El bicondicional es verdadero cuando ambos
    son verdaderos o cuando ambos son falsos, y
    es falso en los demás casos.
    P q p↔q
    V V V
    V F F
    F V F
    F F V
    Tautología, Contingencia,
    Contradicción
    Tautología
    Es cuando tienen solamente proposiciones
    verdaderas para todos los valores de verdad
    de las variables proposicionales.
    Ejemplo:
    ~p v p
    p ~p ~p v p
    V F V
    F V V
    Contradicción
    Es cuando se tienen solamente proposiciones
    falsas para todos los valores de verdad de las
    variables proposicionales.
    Ejemplo:
    ~q ^ q
    q ~q ~q ^ q
    V F F
    F V F
    contingencia
    Es cuando se obtienen algunas proposiciones
    verdaderas y otras falsas para los valores de
    verdad de las variables proposicionales.
    Ejemplo:
    (p → q)
    p q p → q
    V V V
    V F F
    F V V
    F F V
    Hay o no Equivalencia lógica?

    Realizar el siguiente ejercicio y determine si es una Tautología, Contradicción o


    Contigencia

    (p → q) ^ (q → p) = p ↔ q
    A ↔ B

    .
    Hay o no Equivalencia lógica?

    Demostrar si es una tautología.


    (p → q) ^ (q → p) = p ↔ q
    A ↔ B
    [(p → q) ^ (q → p)] ↔ [p ↔ q]
    p q p →q q→p p↔q (p → q) ^ (q → p) A↔B

    V V
    V F
    F V
    F F
    Como es tautología si es equivalencia lógica.

    También podría gustarte