Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 22 vistas

    Laboratorio de Matematica

    Cargado por

    Fernando
    Este documento presenta un laboratorio de matemáticas sobre lógica proposicional que incluye las tablas de verdad de varios conectivos lógicos como la negación, disyunción inclusiva, conjunción, disyunción exclusiva y condicional. También incluye 8 tablas de verdad que el estudiante debe resolver e indicar si la fórmula resultante es una tautología, contradicción o contingencia.

    Copyright:

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

    Laboratorio de Matematica

    Cargado por

    Fernando
    22 vistas5 páginas
    Este documento presenta un laboratorio de matemáticas sobre lógica proposicional que incluye las tablas de verdad de varios conectivos lógicos como la negación, disyunción inclusiva, conjunción, disyunción exclusiva y condicional. También incluye 8 tablas de verdad que el estudiante debe resolver e indicar si la fórmula resultante es una tautología, contradicción o contingencia.

    Descripción original:

    mate

    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 presenta un laboratorio de matemáticas sobre lógica proposicional que incluye las tablas de verdad de varios conectivos lógicos como la negación, disyunción inclusiva, conjunción, disyunción exclusiva y condicional. También incluye 8 tablas de verdad que el estudiante debe resolver e indicar si la fórmula resultante es una tautología, contradicción o contingencia.

    Copyright:

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

    Laboratorio de Matematica

    Cargado por

    Fernando
    Este documento presenta un laboratorio de matemáticas sobre lógica proposicional que incluye las tablas de verdad de varios conectivos lógicos como la negación, disyunción inclusiva, conjunción, disyunción exclusiva y condicional. También incluye 8 tablas de verdad que el estudiante debe resolver e indicar si la fórmula resultante es una tautología, contradicción o contingencia.

    Copyright:

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

    UNIVERSIDAD REGIONAL DE GUATEMALA, SEDE TEJUTLA

    LICENCIATURA EN CONTADURÍA PÚBLICA Y AUDITORIA


    LICENCIATURA EN ADMINISTRACIO DE EMPRESA
    CUARTO SEMESTRE, MATEMATICAS II
    LIC. JOSÉ MÉRIDA AGUILAR

    LABORATORIO I:

    NOMBRE: Nelson Fernando Salas Vásquez CARNE: 2208019

    PRIMERA PARTE:
    1. En el cuadro de texto superior a la tabla de verdad colocar que conectivo
    lógico es.
    2. Dentro de la tabla de verdad en la respuesta final, colocar el signo del
    conectivo lógico que pertenece.
    3. En el cuadro de texto derecho colocar la ley de cada conectivo lógico.

    Negación
    Es la conectiva que tiene la función de negar o invertir el
    P ¬P valor que se brinda.
    V F
    F V

    Disyunción Inclusiva

    P Q (P ˅ Q) Es verdadera cuando al menos una de las dos p o q es


    V V V verdadero y falsa en los demás casos.

    V F V

    F V V

    F F F

    Conjunción

    P Q (P ^ Q) Va ser verdadero cuando p y q sean verdaderas y falsa en


    cualquier otro caso.
    V V V
    V F F
    PF V
    Q (P F
    v Q)

    V
    F V
    F F
    Disyunción Exclusiva
    V F V
    F V V
    F F F
    Va ser verdadera cuando uno y solo una de las dos p v q
    P Qes verdaderaRy falsa en (P^Q)
    cualquier otro caso.
    (P^Q)→R
    v v v v v
    v v f v v
    v f v f f
    v f f f v
    f v v f f
    Bicondicional / doble
    implicación
    f v f f v
    f f v f f
    P Q (P = Q) f f Va ser verdadera
    f cuando fambas preposiciones
    v son
    verdaderas o ambas son falsas.
    V V V
    V F F
    F V F
    F F V
    Condicional o Implicación

    P Q (P → Q) Será falsa únicamente cuando un antecedente sea


    verdadero y el consecuente falso.
    V V V
    V F F
    F V V
    F F V
    Segunda Parte
    - Resolver las siguientes tablas de verdad.
    - Colocarle en la parte inferior de cada tabla si la respuesta es tautología,
    contradicción o contingencia.
    1. (P Ʌ Q) → R
    2. ¬ p ∧ (p → q)
    3. (p ∨ q) ↔ (p ∨ r)
    4. p → ( ¬q)
    5. ¬p∧ (p ↔ q)
    6. (¬p) V ( ¬q)
    7. ∼ (p V q)
    8. (P ᴧ Q) ↔ ∼ R

    1. (P Ʌ Q) → R
    P Q R (P^Q) (P^Q)→R
    v v v v v
    v v f v v
    v f v f f
    v f f f v
    Contingencia f v v f f
    f v f f v
    f f v f f
    f f f f v
    2. ¬ p ∧ (p → q)

    P Q (p → q) ¬p ¬ p ∧ (p → q)
    V V V F F
    V F F F F
    F V V V V
    F F V V V

    Contingencia

    3. (p ∨ q) ↔ (p ∨ r)

    P Q R (p ∨ q) (p ∨ r) (p ∨ q) ↔ (p ∨ r)
    V V V V V V
    V V F V V V
    V F V V V V
    V F F V V V
    F V V V V V
    F V F V F F
    F F V F V F
    F F F F F V

    Contingencia

    4. p → ( ¬q)

    P q ¬q p → ( ¬q)
    V V F F
    V F V V
    F V F V
    F f V V

    Contingencia

    5. ¬p∧ (p ↔ q)

    P q (p ↔ q) ¬p ¬p∧ (p ↔ q)
    V V V F F
    V F F F F
    F V F V F
    F F V V v

    Contingencia

    6. (¬p) V ( ¬q)
    P q ¬p ¬q (¬p) V ( ¬q)
    V V F F f
    V F F V v
    F V V F v
    F f V V f

    Contingencia

    7. ∼ (p V q)

    P q (p V q) ∼ (p V q)
    V V F V
    V F V F
    F V V F
    F f F v

    Contingencia

    8. (P ᴧ Q) ↔ ∼ R

    p q r (P ᴧ Q) ∼R (P ᴧ Q) ↔ ∼
    R
    V V V V F F
    V V F V V V
    V F V F F V
    V F F F V F
    F V V F F V
    F V F F V F
    F F V F F v
    F F F F V F

    Contingencia

    También podría gustarte