Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2K vistas

    TABLAS DE VERDAD Clase 3

    Cargado por

    EIDER REYNEL MOSQUERA
    Este documento explica las tablas de verdad y cómo se usan para evaluar la validez lógica de enunciados compuestos. Define los conectivos lógicos, muestra ejemplos de tablas de verdad y explica conceptos como tautología, contradicción y contingencia. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens y cómo se aplican.

    Copyright:

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

    TABLAS DE VERDAD Clase 3

    Cargado por

    EIDER REYNEL MOSQUERA
    2K vistas4 páginas
    Este documento explica las tablas de verdad y cómo se usan para evaluar la validez lógica de enunciados compuestos. Define los conectivos lógicos, muestra ejemplos de tablas de verdad y explica conceptos como tautología, contradicción y contingencia. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens y cómo se aplican.

    Título original

    TABLAS DE VERDAD clase 3.docx

    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?

    Este documento explica las tablas de verdad y cómo se usan para evaluar la validez lógica de enunciados compuestos. Define los conectivos lógicos, muestra ejemplos de tablas de verdad y explica conceptos como tautología, contradicción y contingencia. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens y cómo se aplican.

    Copyright:

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

    TABLAS DE VERDAD Clase 3

    Cargado por

    EIDER REYNEL MOSQUERA
    Este documento explica las tablas de verdad y cómo se usan para evaluar la validez lógica de enunciados compuestos. Define los conectivos lógicos, muestra ejemplos de tablas de verdad y explica conceptos como tautología, contradicción y contingencia. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens y cómo se aplican.

    Copyright:

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

    TABLAS DE VERDAD: Una tabla de verdad es un arreglo que nos permite tener los posibles valores

    de verdad de una proposición compuesta, a partir de los valores de verdad de las proposiciones simples.

    Las tablas de verdad para los conectivos lógicos vistos anteriormente son las siguientes:

    Símbolo natural Símbolo lógico Nombre en Lógica


    Y ⋀ Conjunción
    O ⋁ Disyunción
    No ¬ Negación
    Si… Entonces → Condicional
    Sí y solo Sí ↔ Bicondicional

    NEGACIÓN CONJUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICINAL

    EJEMPLOS SOBRE TABLAS DE VERDAD

    1. Construya la tabla de verdad para cada uno de los ejemplos anteriores.


    EJERCICIOS:
    2. Construir la tabla de verdad para las siguientes proposiciones.

    ¬ p→q

    NOTA: Para construir las tablas de verdad tenga en cuenta los siguientes pasos:
    a) El número de combinaciones para una tabla es 2 P donde “p” es el número de proposiciones.
    b) En lo posible trate de nombrar cada paréntesis, corchete o llaves con letras auxiliares.
    c) Primero determine los valores de verdad para los paréntesis, después los corchetes y por último
    las llaves si las hay.
    d) Utilice las tablas de los conectivos vistas en clase para hallar los valores de verdad en estos
    paréntesis, llaves o corchetes.
    CLASE # 4
    TAUTOLOGÍA: En una tabla de verdad se habla de tautología cuando los valores obtenidos en ella son
    todos verdaderos.
    CONTRADICCIÓN: Se presenta cuando los valores de verdad que se obtienen son todos falsos.
    CONTINGENCIA: Es cuando los valores de verdad obtenidos son una combinación entre verdaderos y
    falsos.

    REGLAS DE INFERENCIA: Las reglas de inferencia son esquemas básicos de inferencia deductiva
    que se suelen escribir poniendo cada premisa en una línea y la conclusión en otra línea al final. Toda
    regla, como toda inferencia deductiva, tiene que estar basada en la implicación de la conclusión a partir
    de las premisas. Veamos algunas de las más conocidas:
    1. MODUS PONENDO PONENS: dice que si una premisa tiene la forma de condicional y la otra
    afirma el antecedente entonces es válida la inferencia que consiste en afirmar el consecuente:

    EJEMPLLO # 1
    1. Si estudio trabajo social, entonces tengo clases los sábados Premisa 1
    2. Estudio trabajo social Premisa 2
    3. Tengo clases los sábados Conclusión
    EJEMPLO # 2
    1. Si llueve, entonces salgo Premisa 1
    2. Llovió Premisa 2
    3. Salí Conclusión

    2. MODUS TLLENDO TOLLENS: Esta regla nos permite, a partir de un enunciado


    condicional (P→Q), inferir la falsedad de su antecedente (P) si su consecuente (Q) también
    es falso. Ejemplo:
    EJEMPLO # 1

    1. Si el pastel está hecho con azúcar, entonces el pastel está dulce. Premisa 1
    2. El pastel no está dulce. Premisa 2
    3. Por lo tanto, el pastel no está hecho con azúcar. Conclusión

    EJEMPLO # 2
    1. Si llueve entonces salgo
    2. No llovió
    3. No salí

    4. MODUS TOLLENDO PONENS: Ya sea que P es cierta o Q es cierta; P no es cierta; por


    lo tanto, Q es cierta. De la misma manera, si P es cierta o Q es cierta; Q no es cierta; por lo
    tanto, P es cierta.

    EJEMPLO # 1.
    1. El perro es negro o es blanco Premisa 1
    2. El perro no es negro Premisa 2
    3. El perro es blanco Conclusión
    EJEMPLO # 2.
    1. Eres estudiante de trabajo social o de psicología
    2. No eres estudiante de psicología
    3. Eres estudiante de trabajo social

    4. LEY DE LA CONJUNCIÓN: Si P es cierta y Q es cierta, entonces la conjunción “P y Q”


    también es cierta.
    5. LEY DE LA SIMPLIFICACIÓN: Si la conjunción de P y Q es cierta, entonces P es cierta
    y Q es cierta.

    EJERCICIOS RESUELTOS: Usando las reglas vistas anterior mente demostrar lo que se solicita.
    1. Demostrar q de las siguientes premisas

    También podría gustarte