Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 37 vistas

    Mipm - U1 - A4 - V1 - Jomt

    Cargado por

    Jose L Moc Te
    Este documento presenta una actividad sobre reglas de inferencia y premisas en lógica proposicional. Se pide construir la tabla de verdad de la proposición ¬(P ∧ ¬Q) y probar que la proposición ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) ) es una tautología usando tablas de verdad. También se pide determinar si las proposiciones [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)] y [(

    Copyright:

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

    Mipm - U1 - A4 - V1 - Jomt

    Cargado por

    Jose L Moc Te
    37 vistas3 páginas
    Este documento presenta una actividad sobre reglas de inferencia y premisas en lógica proposicional. Se pide construir la tabla de verdad de la proposición ¬(P ∧ ¬Q) y probar que la proposición ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) ) es una tautología usando tablas de verdad. También se pide determinar si las proposiciones [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)] y [(

    Título original

    MIPM_U1_A4_V1_ JOMT

    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 una actividad sobre reglas de inferencia y premisas en lógica proposicional. Se pide construir la tabla de verdad de la proposición ¬(P ∧ ¬Q) y probar que la proposición ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) ) es una tautología usando tablas de verdad. También se pide determinar si las proposiciones [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)] y [(

    Copyright:

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

    Mipm - U1 - A4 - V1 - Jomt

    Cargado por

    Jose L Moc Te
    Este documento presenta una actividad sobre reglas de inferencia y premisas en lógica proposicional. Se pide construir la tabla de verdad de la proposición ¬(P ∧ ¬Q) y probar que la proposición ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) ) es una tautología usando tablas de verdad. También se pide determinar si las proposiciones [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)] y [(

    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

    Universidad Abierta y a Distancia de México

    Licenciatura en Matemáticas

    Introducción al pensamiento matemático

    José Luis Moctezuma Tejeda

    Unidad 1. Lógica proposicional

    Actividad 4. Reglas de inferencia y premisas

    14 de febrero 2019
    ACTIVIDAD 4. R EGLAS DE INFERENCIA Y PREMISAS

    Desarrollo de la actividad

    1. Construir la tabla de verdad de la proposición ¬(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

    2. Prueba usando tablas de verdad que la proposición


    ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) ) es una tautología

    Tautoligia: Cuando los valores del operador principal son todos verdaderos

    P Q ¬P ¬Q ( P ⋁ Q ) ¬( P ⋁ Q) ((¬ P )∧(¬ Q ) ) ¬ ( P ⋁ Q ) ⇒ ( (¬ P ) ∧ ( ¬Q ) )

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

    3. Si P y Q son proposiciones atómicas distintas establecer si las siguientes


    proposiciones son tautologías, contingencias o contradicciones utiliza tablas
    de verdad
    i) [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)]

    p q r (q ∨ r) (p ∧ q) (p ∧ r) [p ∧ (q ∨ r)] [(p ∧ q) ∨ (p ∧ r)] [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)]


    V V V V V V V V V
    V V F V V F V V V
    V F V V F V V V V
    V F F F F F F F V
    F V V V F F F F V
    F V F V F F F F V
    F F V V F F F F V
    F F F F F F F F V
    La proposicion es una tautoligia ya que los valores del operador principal son
    todos verdaderos

    ii) [(p ∧ q) ←→ p] −→ (p ←→ q)

    p q [(p ∧ q) [(p ∧ q) ←→ p] (p ←→ q) [(p ∧ q) ←→ p] −→ (p ←→ q)


    V V V V V V
    V F F F F V
    F V F V F F
    F F F V V V
    La proposicion es una Contingencia ya que almenos uno es falso y uno es
    verdadero.

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy