Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 208 vistas

    TALLER #1 Logica Matematica.

    Cargado por

    Thalia Valentina Hernandez
    El documento presenta un resumen de lógica matemática. Explica cómo escribir enunciados en forma simbólica y determinar sus valores de verdad. También construye tablas de verdad para verificar si ciertas proposiciones son tautologías.

    Copyright:

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

    TALLER #1 Logica Matematica.

    Cargado por

    Thalia Valentina Hernandez
    208 vistas3 páginas
    El documento presenta un resumen de lógica matemática. Explica cómo escribir enunciados en forma simbólica y determinar sus valores de verdad. También construye tablas de verdad para verificar si ciertas proposiciones son tautologías.

    Descripción original:

    Ejercicios de logica matematica

    Título original

    TALLER #1 Logica matematica.

    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?

    El documento presenta un resumen de lógica matemática. Explica cómo escribir enunciados en forma simbólica y determinar sus valores de verdad. También construye tablas de verdad para verificar si ciertas proposiciones son tautologías.

    Copyright:

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

    TALLER #1 Logica Matematica.

    Cargado por

    Thalia Valentina Hernandez
    El documento presenta un resumen de lógica matemática. Explica cómo escribir enunciados en forma simbólica y determinar sus valores de verdad. También construye tablas de verdad para verificar si ciertas proposiciones son tautologías.

    Copyright:

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

    UNIVERSIDAD POPULAR DEL CESAR

    DEPARTAMENTO DE MATEMÁTICAS Y ESTADÍSTICA


    LÓGICA MATEMÁTICA
    DOCENTE: PEDRO JUAN TORRES FLOREZ

    1. Escriba en forma simbólica los siguientes enunciados:

    a) Si un triángulo es isósceles, entonces es equilátero:


    p →q

    b) Quieres gaseosa o helado:


    pVq

    c) Si llueve entonces hace frío:


    p→q

    d) Un triángulo es equilátero si y sólo si tiene sus tres lados iguales:


    p↔q

    e) 3 no es un número entero primo:


    ∼p

    f) Lograré aprender si estudio y práctico:


    p∧q

    g) Sandra estudia inglés, pero Mateo estudia francés:


    p∧q

    2. Determinar los posibles valores de verdad para las proposiciones:

    a) ~p ∧∼ q

    p q ~p ∼q ~p ∧∼ q

    V V F F F
    V F F V F
    F V V F F
    f F V V V

    b) ∼ ⌊ (p ∧ ∼ q) → (~p ∨ q) ⌋

    p q ~p ∼q p ∧∼ q ~p ∨ q (p ∧∼ q) → (~p ∨ q) ∼ ⌊ (p ∧∼ q) → (~p ∨ q) ⌋

    V V F F F V V F
    V F F V V F F V
    F V V F F V V F
    F F V V F v V F
    c) ∼ (p ∧∼ q)

    p q ∼q p ∧∼ q ∼ (p ∧∼ q)

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

    3. Construir las tablas de verdad y verificar cuales de ellas son tautologías.

    a) . [(p ⟶ q) Λ ~q] → ~p

    p q ~p ~q p⟶q (p ⟶ q) Λ ~q [(p ⟶ q) Λ ~q] → ~p


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

    La proposición [(p ⟶ q) Λ ~q] → ~p es una Tautología, porque los valores de la última


    columna de la tabla resultaron verdaderos, independientemente de los valores que presente
    cada una de las proposiciones que la conforman.

    b) . [(p → q) Λ (r → s) Λ (p V r)] → (q V s)

    p q r s p →q r→s pVr qVs (r→s) Λ (p V r) (p→q) Λ (r→s) Λ (p V r) [(p → q) Λ (r → s) Λ (p V r)]


    → (q V s)

    V V V V V V V V V V V
    V V V F V F V V F F V
    V V F V V V V V V V V
    V V F F V V V V V V V
    V F V V F V V V V F V
    V F V F F F V F F F V
    V F F V F V V V V F V
    V F F F F V V F V F V
    F V V V V V V V V V V
    F V V F V F V V F F V
    F V F V V V F V F F V
    F V F F V V F V F F V
    F F V V V V V V V V V
    F F V F V F V F F F V
    F F F V V V F V F F V
    F F F F V V F F F F V
    La proposición [(p → q) Λ (r → s) Λ (p V r)] → (q V s) es una Tautología, porque los valores
    de la última columna de la tabla resultaron verdaderos, independientemente de los valores
    que presente cada una de las proposiciones que la conforman

    Alumnos:
    Thalía Valentina Hernández Méndez
    Karoll Gómez Rondón

    También podría gustarte