Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 401 vistas

    PA1 Damian Alexander

    Cargado por

    WILLIAM ALEXANDER DAMIAN AYALA
    Este documento presenta un conjunto de ejercicios y actividades sobre lógica proposicional para estudiantes de ingeniería. La parte I identifica cuales enunciados son proposiciones y cuales no. La parte II pide formalizar algunas proposiciones en lenguaje lógico. La parte III construye tablas de verdad para determinar si algunas fórmulas son tautológicas, contradictorias o contingentes. El documento provee material didáctico de apoyo para que los estudiantes practiquen conceptos básicos de lóg

    Copyright:

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

    PA1 Damian Alexander

    Cargado por

    WILLIAM ALEXANDER DAMIAN AYALA
    401 vistas5 páginas
    Este documento presenta un conjunto de ejercicios y actividades sobre lógica proposicional para estudiantes de ingeniería. La parte I identifica cuales enunciados son proposiciones y cuales no. La parte II pide formalizar algunas proposiciones en lenguaje lógico. La parte III construye tablas de verdad para determinar si algunas fórmulas son tautológicas, contradictorias o contingentes. El documento provee material didáctico de apoyo para que los estudiantes practiquen conceptos básicos de lóg

    Descripción original:

    estudios de lebantamiento de suelo

    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 conjunto de ejercicios y actividades sobre lógica proposicional para estudiantes de ingeniería. La parte I identifica cuales enunciados son proposiciones y cuales no. La parte II pide formalizar algunas proposiciones en lenguaje lógico. La parte III construye tablas de verdad para determinar si algunas fórmulas son tautológicas, contradictorias o contingentes. El documento provee material didáctico de apoyo para que los estudiantes practiquen conceptos básicos de lóg

    Copyright:

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

    PA1 Damian Alexander

    Cargado por

    WILLIAM ALEXANDER DAMIAN AYALA
    Este documento presenta un conjunto de ejercicios y actividades sobre lógica proposicional para estudiantes de ingeniería. La parte I identifica cuales enunciados son proposiciones y cuales no. La parte II pide formalizar algunas proposiciones en lenguaje lógico. La parte III construye tablas de verdad para determinar si algunas fórmulas son tautológicas, contradictorias o contingentes. El documento provee material didáctico de apoyo para que los estudiantes practiquen conceptos básicos de lóg

    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 5

    Anexo 1:

    FACULTAD DE SIPAN

    PROGRAMA ACADÉMICO DE LA FACULAD DE INGENIERIA,


    ARQUITECTURA Y URBANISMO

    CURSO: Pensamiento Lógico Matemático

    PRODUCTO ACADÉMICO 1:
    “Ejercicios y Actividades Programadas sobre lógica proposicional”

    Ciclo: II

    DOCENTE:

    Dra. Yrma Burga Bustamante

    ESTUDIANTE:
    William Alexander, Damián
    Ayala

    Chiclayo-septiempre-2020
    Material didáctico de apoyo al

    PARTE I: De los siguientes enunciados cuales son de proposiciones y


    no proposiciones:

    1_ X + y = 25 (NP)
    2_ ¡Ayúdame amigo! (NP)
    3_ a + b + 10 = 20; donde a = 4, b= 7 (NP)
    4_ El Unicornio fue un caballo alado. (NP)
    5_ ¡Hoy lloverá! (NP)
    6_ Pedro es doctor y María profesora. (NP)
    7_ ¿Habrá juicio final? (NP)
    8_ El covid 19 es una enfermedad
    mortal. (p)
    9_ Lima es la ciudad de mayor contagio con
    covid 19. (p)
    10_ San Miguel es un distrito de
    Cajamarca. (p)

    PARTE II: Formaliza las siguientes proposiciones

    1. El vendrá si tiene tiempo y está interesado en el asunto.


    p q ∧ r

    (p → q) ∧ r

    2. Estudiar y trabajar es condición suficiente para ser responsable y


    p ∧ q ∧
    admirado por aquellos que nos saben valorar.
    r
    (p ∧ q) ∧ r

    3. La computadora es compatible con la impresora así como con el programa;


    p
    entonces el precio de venta es cómodo o financiable.
    q ∨ r

    p (q ∨ r)

    4. Es suficiente que la matemática sea necesaria para la física , para que el avance
    p
    científico no quede estancado.
    ∼q
    p ∼q
    Material didáctico de apoyo al
    5. Sin excepción se da que la suma de los ángulos internos de un triángulo es 180°
    p
    es equivalente a la suma de los ángulos internos de un cuadrilátero regular. p q
    q

    6. Sin carbono, oxigeno, hidrógeno y nitrógeno, no hay vida.


    p ∧ q ∧ r ∧ s ∼t

    (p ∧ q ∧ r ∧ s) ∼t

    7. Tanto Claudio Pizarro y Paolo Guerrero son jugadores, porque son


    p ∧ q
    deportistas.
    r

    (p ∧ q) r

    8. Si la huelga de maestros es atendida por el Gobierno, luego los


    p
    maestros tendrán mejores beneficios y las clases continuarán.
    q ∧ r
    p (q ∧ r)

    9. Los trabajadores de ES salud irán a la huelga al menos que la ministra del sector
    p ∨
    acepte sus demandas laborales. p∨q

    q
    10.Si alguien gana dinero con la crisis, entonces hay alguien que tiene interés
    p
    en mantenerla. p q
    q
    PARTE III: Construye la tabla de verdad, completa de la siguiente
    fórmula y determina si es tautológica, contradictoria o contingente:

    1_ (p∧∼p) ∨ (p∨q)

    p q (p ᴧ ~p) v (p v q)
    V V V F F V V V V
    V F V F F V V V F
    F V F F V V F V V
    F F F F V F F F F

    Es contingencia ya que tiene valores falsos y verdaderos

    2_ (p⟶q)⟶(p ∨ q)

    p q (p q) (p v q)

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

    Es tautología porque todos son verdaderos

    3- [ p ∨ ( q ↔ r ) ] ↔ {¬ [ p → ( r ∧ q ) ] ∨ [ ( q ∧ ¬ r ) → p ]

    p q r [p v (q ↔ r)] ↔ {~ [p → (r ᴧ q)] v [(q ᴧ ~r) → p]}

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

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

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

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

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

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

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

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

    Es contingencia ya que tiene valores falsos y verdaderos.


    4_ [(p∧q)∨(q∨p)]∧ ∼q

    p q [(p ᴧ q) v (q v p)] ᴧ ~q
    V V V V V V V V V F F
    V F V F F V F V V V V
    F V F F V V V V F F F
    F F F F F F F F F F V

    Es contingencia ya que tiene valores falsos y verdaderos.

    5_ ( p ∧ q ) → [ ¬( ¬p ∨ ¬q ) ]

    p q (p ∧ q) → [~ (~p ∨ ~q)]

    V V V V V V V F F F

    V F V F F V F F V V

    F V F F V V F V v F

    F F F F F V F V V V

    Es tautología porque todos son verdaderos

    También podría gustarte