Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 45 vistas

    Taller 2 Segunda Unidad Virtual

    Cargado por

    Nicole Daza Herrera
    Este documento presenta un resumen de un taller sobre proposiciones lógicas realizado por estudiantes de ingeniería. El taller incluye ejercicios para determinar el valor de verdad de proposiciones colocando paréntesis según la prioridad de los conectivos, construyendo tablas de verdad, y analizando diagramas. Los estudiantes resuelven cada ejercicio y presentan sus respuestas en tablas de verdad.

    Copyright:

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

    Taller 2 Segunda Unidad Virtual

    Cargado por

    Nicole Daza Herrera
    45 vistas5 páginas
    Este documento presenta un resumen de un taller sobre proposiciones lógicas realizado por estudiantes de ingeniería. El taller incluye ejercicios para determinar el valor de verdad de proposiciones colocando paréntesis según la prioridad de los conectivos, construyendo tablas de verdad, y analizando diagramas. Los estudiantes resuelven cada ejercicio y presentan sus respuestas en tablas de verdad.

    Título original

    Taller 2 segunda unidad virtual[1]

    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 resumen de un taller sobre proposiciones lógicas realizado por estudiantes de ingeniería. El taller incluye ejercicios para determinar el valor de verdad de proposiciones colocando paréntesis según la prioridad de los conectivos, construyendo tablas de verdad, y analizando diagramas. Los estudiantes resuelven cada ejercicio y presentan sus respuestas en tablas de verdad.

    Copyright:

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

    Taller 2 Segunda Unidad Virtual

    Cargado por

    Nicole Daza Herrera
    Este documento presenta un resumen de un taller sobre proposiciones lógicas realizado por estudiantes de ingeniería. El taller incluye ejercicios para determinar el valor de verdad de proposiciones colocando paréntesis según la prioridad de los conectivos, construyendo tablas de verdad, y analizando diagramas. Los estudiantes resuelven cada ejercicio y presentan sus respuestas en tablas de verdad.

    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

    Trabajo De Procesos Lógicos

    Estudiantes:
    Nicol Daza
    Alexander González
    José Martínez
    Andeerson Mendoza.

    Facultad De Ingeniería

    Docente:
    Danilo Acuña.

    Grupo:
    VB2

    Universidad Autónoma Del Caribe

    2021
    Taller 2 segunda unidad
    1. Atendiendo a la prioridad de los conectivos, coloque paréntesis según cada
    caso:
    a) P ^ q →r
    b) p v q → r ^ s
    c) ┐p ^ q ↔ r → s

    2. Determinar el valor de verdad de certeza de las siguientes proposiciones


    por medio de sus diagramas:
    a) Si se sabe que q es verdadera y que p→ (q → r) es falsa ¿Que puede
    decirse sobre los valores de verdad de p y r?
    b) Si q es verdadera y (p→) ^ ( q→ p) es verdadera, ¿ cuál es el valor de
    verdad de p?

    3. Construya la tabla de verdad para cada proposición.


    a) p ^ ┐(p ^q)
    b) (p → ┐q) ↔ (q → r)
    c) [(p→ q) ^ ┐q] → ┐p

    Desarrollo

    1. a. (P ^ q )→r
    b. ( p v q) →( r ^ s)
    c. ((┐p) ^ q) ↔ r )→ s
    2.
    A.
    p q r (p→q) (((p→q))→r)
    F F F V F
    F F V V V
    F V F V F
    F V V V V
    V F F F V
    V F V F V
    V V F V F
    V V V V V

    B)

    p q (p→q) (q→p) (((p→q))^((q→p)))


    F F V V V
    F V V F F
    V F F V F
    V V V V V
    3.
    a) p ^ ┐(p ^q)
    p q p ^q ┐(p ^q) p ^ ┐(p ^q)
    V V V F F
    V F F V V
    F V F V F
    F F F V F

    b) (p → ┐q) ↔ (q → r)
    p q r ┐q p → ┐q q→r (p → ┐q) ↔ (q → r)

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

    c) [(p→ q) ^ ┐q] → ┐p
    p q p→ q ┐q [(p→ q) ^ ┐q] ┐p [(p→ q) ^ ┐q] → ┐p

    V V V F F F V
    V F F V F F V
    F V V F F V V
    F F V V V V V
    p→ ( q Λ r )

    p q r q ΛR P→( q ΛR)
    V V V F F
    V V F F F
    V F V V V
    V F F V V
    F V V F V
    F V F F V
    F F V V V
    F F F V V

    También podría gustarte