Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 10 vistas

    Cristian Muñoz Control3

    Cargado por

    Christianus crusader
    Este documento presenta tres ejercicios de lógica proposicional resueltos por un estudiante. En el primer ejercicio, el estudiante compara tablas de verdad de dos fórmulas. En el segundo, usa un diagrama de árbol para mostrar que una fórmula es una tautología. En el tercero, construye una tabla de verdad para verificar la equivalencia lógica de dos enunciados. El documento finaliza citando la fuente de referencia según el formato APA.

    Copyright:

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

    Cristian Muñoz Control3

    Cargado por

    Christianus crusader
    10 vistas5 páginas
    Este documento presenta tres ejercicios de lógica proposicional resueltos por un estudiante. En el primer ejercicio, el estudiante compara tablas de verdad de dos fórmulas. En el segundo, usa un diagrama de árbol para mostrar que una fórmula es una tautología. En el tercero, construye una tabla de verdad para verificar la equivalencia lógica de dos enunciados. El documento finaliza citando la fuente de referencia según el formato APA.

    Título original

    Cristian_Muñoz_Control3

    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 tres ejercicios de lógica proposicional resueltos por un estudiante. En el primer ejercicio, el estudiante compara tablas de verdad de dos fórmulas. En el segundo, usa un diagrama de árbol para mostrar que una fórmula es una tautología. En el tercero, construye una tabla de verdad para verificar la equivalencia lógica de dos enunciados. El documento finaliza citando la fuente de referencia según el formato APA.

    Copyright:

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

    Cristian Muñoz Control3

    Cargado por

    Christianus crusader
    Este documento presenta tres ejercicios de lógica proposicional resueltos por un estudiante. En el primer ejercicio, el estudiante compara tablas de verdad de dos fórmulas. En el segundo, usa un diagrama de árbol para mostrar que una fórmula es una tautología. En el tercero, construye una tabla de verdad para verificar la equivalencia lógica de dos enunciados. El documento finaliza citando la fuente de referencia según el formato APA.

    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

    EVALUACIÓN

    Lógica Matemática y Digital


    Semana 3

    Cristian Muñoz Troncoso

    01-01-2024

    Técnico Superior en
    Automatización y Control
    EVALUACIÓN

    DESARROLLO:
    En esta plantilla debes desarrollar el control o tarea de la semana. Es importante que, antes de
    comenzar, leas con atención las instrucciones y los requerimientos de la actividad evaluativa. No
    olvides incluir referencias bibliográficas según el formato APA.
    1.-
    a) ¬ [q ⊃ (p • ¬r)]
    p q r ¬r p • ¬r q ⊃ (p • ¬r) ¬ [q ⊃ (p • ¬r)]
    1 1 1 0 0 1 0
    1 1 0 1 1 1 0
    1 0 1 0 0 0 1
    1 0 0 1 1 1 0
    0 1 1 0 0 1 0
    0 1 0 1 0 1 0
    0 0 1 0 0 1 0
    0 0 0 1 0 1 0
    b) ¬ p ⊃ (q V r)
    p q r ¬p qVr ¬p ⊃ (q V r) Al comparar las tablas de verdad, se
    puede observar que las fórmulas no son
    1 1 1 0 1 1 lógicamente equivalentes, ya que sus
    valores de verdad difieren en algunas
    1 1 0 0 1 1 combinaciones.

    1 0 1 0 1 1
    1 0 0 0 0 0
    0 1 1 1 1 1
    0 1 0 1 1 1
    0 0 1 1 1 1
    0 0 0 1 0 0

    2
    EVALUACIÓN

    2.-
    ¬{(p∧¬r)⇔[(p→q)∨r]}

    p ∧ ¬r (p → q) ∨ r

    p r

    (p → q) r

    p∧¬r: Evalúa a Verdadero solo cuando p es Verdadero y r es Falso.


    p→q: Evalúa a Falso solo cuando p es Verdadero y q es Falso.
    (p→q) ∨ r: Evalúa a Verdadero solo cuando p es Verdadero y r es Verdadero.
    (p∧¬r) ⇔ [(p→q) ∨ r]: Evalúa a Falso en la misma combinación de verdad que
    p∧¬r y (p→q) ∨ r.
    ¬{(p∧¬r)⇔[(p→q)∨r]}: Evalúa a Verdadero en la misma combinación de verdad que
    (p∧¬r)⇔[(p→q)∨r].

    La fórmula es Verdadera en todas las combinaciones posibles de verdad para


    p, q, y r en el Diagrama de Árbol. Por lo tanto, la fórmula es una tautología.

    3
    EVALUACIÓN

    3.-Para los enunciados dados, las fórmulas lógicas correspondientes podrían ser:

    a) p V (q • r)

    b) ¬p • (q • ¬r)

    aplicando el conectivo bicondicional, obtenemos:


    (p V (q • r)) ⇔ (¬p • (q • ¬r))

    La tabla de verdad se construiría de la siguiente forma:

    p q r p∨(q∧r) ¬p∨ (q∧¬r) (p∨(q∧r)) ⇔(¬p∨(q∧¬r))


    1 1 1 1 1 1
    1 1 0 1 1 1
    1 0 1 1 1 1
    1 0 0 1 1 1
    0 1 1 1 1 1
    0 1 0 0 0 1
    0 0 1 0 1 0
    0 0 0 0 1 0

    Observamos que, en todas las filas, las dos fórmulas tienen el mismo valor de
    verdad, lo que significa que son lógicamente equivalentes.

    4
    EVALUACIÓN

    REFERENCIAS BIBLIOGRÁFICAS

    Las referencias deben ser presentadas de acuerdo con las Normas APA, incluyendo información que
    permita ubicar de forma inmediata la fuente utilizada.
    Recuerda que siempre debes incluir el texto de lectura relacionado con la semana a evaluar.

    Apellido del autor(es) y la inicial del nombre (año de publicación). Título de la publicación. N° de
    edición. Ciudad o país: Editorial.

    IACC (2022). Equivalencias Lógicas. Lógica Matemática y Digital. Semana 3.

    También podría gustarte