Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 38 vistas

    Lógica de Matemáticas

    Cargado por

    Crismenia Rivero
    El documento presenta varios ejercicios sobre lógica de proposiciones. Incluye determinar si fórmulas son tautologías, contradicciones o indeterminaciones, y simbolizar proposiciones lógicas.

    Copyright:

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

    Lógica de Matemáticas

    Cargado por

    Crismenia Rivero
    38 vistas3 páginas
    El documento presenta varios ejercicios sobre lógica de proposiciones. Incluye determinar si fórmulas son tautologías, contradicciones o indeterminaciones, y simbolizar proposiciones lógicas.

    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?

    El documento presenta varios ejercicios sobre lógica de proposiciones. Incluye determinar si fórmulas son tautologías, contradicciones o indeterminaciones, y simbolizar proposiciones lógicas.

    Copyright:

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

    Lógica de Matemáticas

    Cargado por

    Crismenia Rivero
    El documento presenta varios ejercicios sobre lógica de proposiciones. Incluye determinar si fórmulas son tautologías, contradicciones o indeterminaciones, y simbolizar proposiciones lógicas.

    Copyright:

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

    Karen Navarro

    C.I: 30.499.717
    Sección 5
    Lógica de matemáticas
    Ejercicios
    1. Determinar si las formulas proposicionales presentados a continuación, son
    tautológicas, contradicciones o indeterminaciones.

    a) (a ˅ b) ˄ (a → c) : INDETERMINACIÓN

    a b c (a ˅ b) (a → c) (a ˅ b) ˄ (a → c)
    F F F F V F
    F F V F V F
    F V F V V V
    F V V V V V
    V F F V F F
    V F V V V V
    V V F V F F
    V V V V V V

    b) r ˄ (p → q) : INDETERMINACIÓN
    r p q (p → q) r ˄ (p → q)

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

    p q (p ˅ q) (p ˅ q) ˅ (p)

    F F F F
    F V V V
    V F V V
    V V V V
    c) (p ˅ q) ˅ (p) : INDETERMINACIÓN
    d) [a → (a → c)] : INDETERMINACIÓN
    a c (a → c) [a → (a → c)]

    F F V V
    F V V V
    V F F F
    V V V V
    2. Determinar cuáles de las
    siguientes proposiciones son implicaciones o equivalencia tautológicas.

    a) p → (p ˅ p) : IMPLICACIÓN TAUTOLÓGICA: p ⇒  (p ˅ p))

    P (p ˅ p) p → (p ˅ p)
    F F V
    V V V
    b) p → (q → (q → p)): IMPLICACIÓN TAUTOLÓGICA: p ⇒ (q → (q → p))
    p q (q → p) (a → (q → p)) p → (a → (q → p))
    F F V V V
    F V F F V
    V F V V V
    V V V V V

    c) [((p ˄ q) → r) ↔ (p → (p → r))]: NO ES UNA EQUIVALENCIA


    TAUTOLÓGICA
    p q r (p ˄ q) (p ˄ q) → r) (p → r) (p → (p → r) [(p ˄ q) → r) ↔ (p → (p → r)]
    F F F F V V V V
    F F V F V V V V
    F V F F V V V V
    F V V F V V V V
    V F F F V F F F
    V F V F V V V V
    V V F V F F F V
    V V V V V V V V

    d) (p → q) ↔ (q → p): NO ES UNA EQUIVALENCIA TAUTOLÓGICA


    p q (p → q) (q → p) (p → q) ↔ (q → p)
    F F V F V
    F V V F F
    V F F V F
    V V V F V

    3. Simbolizar las siguientes proposiciones y construir sus derivadas o formas


    condicionales.

    a) Si a y b son números impares, entonces a – b es un número par.


    R: (a → b): INDETERMINACIÓN
    a b (a → b)
    F F V
    F V V
    V F F
    V V V

    b) Si n es divisible por 3 entonces n es divisible por 9.

    R: (p → q): INDETERMINACIÓN
    p q (p → q)
    F F V
    F V V
    V F F
    V V V

    c) Si su ahorro neto es positivo y aumenta su activo, entonces sus gastos son


    menores.

    R: (p ^ q) → r: INDETERMINACIÓN
    p q r (p ^ q) (p ^ q) → r
    F F F F V
    F F V F V
    F V F F V
    F V V F V
    V F F F V
    V F V F V
    V V F V F
    V V V V V

    También podría gustarte