Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 68 vistas

    Tarea 3 RL

    Cargado por

    brayan chuquimboques
    Este documento presenta una tarea de lógica matemática compuesta por 8 ejercicios. Los ejercicios incluyen resolver tablas de verdad, demostrar tautologías y equivalencias lógicas, eliminar símbolos lógicos de expresiones, y construir enunciados contradictorios usando 4 o más proposiciones. La tarea fue asignada a 3 estudiantes de la Escuela Profesional de Ingeniería Industrial de la Universidad Nacional de Trujillo.

    Copyright:

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

    Tarea 3 RL

    Cargado por

    brayan chuquimboques
    68 vistas8 páginas
    Este documento presenta una tarea de lógica matemática compuesta por 8 ejercicios. Los ejercicios incluyen resolver tablas de verdad, demostrar tautologías y equivalencias lógicas, eliminar símbolos lógicos de expresiones, y construir enunciados contradictorios usando 4 o más proposiciones. La tarea fue asignada a 3 estudiantes de la Escuela Profesional de Ingeniería Industrial de la Universidad Nacional de Trujillo.

    Descripción original:

    dwqaf

    Título original

    Tarea 3 rl

    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 tarea de lógica matemática compuesta por 8 ejercicios. Los ejercicios incluyen resolver tablas de verdad, demostrar tautologías y equivalencias lógicas, eliminar símbolos lógicos de expresiones, y construir enunciados contradictorios usando 4 o más proposiciones. La tarea fue asignada a 3 estudiantes de la Escuela Profesional de Ingeniería Industrial de la Universidad Nacional de Trujillo.

    Copyright:

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

    Tarea 3 RL

    Cargado por

    brayan chuquimboques
    Este documento presenta una tarea de lógica matemática compuesta por 8 ejercicios. Los ejercicios incluyen resolver tablas de verdad, demostrar tautologías y equivalencias lógicas, eliminar símbolos lógicos de expresiones, y construir enunciados contradictorios usando 4 o más proposiciones. La tarea fue asignada a 3 estudiantes de la Escuela Profesional de Ingeniería Industrial de la Universidad Nacional de Trujillo.

    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 8

    UNIVERSIDAD NACIONAL DE TRUJILLO

    Curso: Desarrollo del Pensamiento Lógico Matemático Profesor: Mg. Segundo V. Guibar Obeso
    Escuela Profesional: Ingeniería Industrial Ciclo: I Sección: Única
    Tema: Tablas de verdad, tautologías y contradicciones, equivalencias Fecha:5/07/2021
    lógicas.
    Tarea Nro. 3 Nro. de ejercicios propuestos: 8 Sede: Valle Jequetepeque

    Integrantes

    1. AGUILAR CHAVEZ, MEYLIN. 4.


    2. CHUQUIMBOQUES MARRERO, BRAYAN MARLO. 5.
    3. GUEVARA SÁNCHEZ, ANA CRISTINA 6.

    EJERCICIO 1.- Resolver el ejercicio 1(c) de EJERCICIOS 3.

    1(c) [(𝑷→𝑸) ⋀ (𝑸→𝑹)] →(𝑷→𝑹)


    EJERCICIO 2.- Resolver el ejercicio 1(f) de EJERCICIOS 3.

    1(f) − [𝑷 ⋁ (𝑸 ⋀ 𝑹)]↔ [(𝑷 ⋁ 𝑸) ⋀ (𝑷 ⋁ 𝑹)]

    EJERCICIO
    3.- Resolver el ejercicio 2(c) de EJERCICIOS 3.

    2(c) [(P ⋀ S) ⋁ Q] ⋁ - [ (P ⋀ S) ⋁ Q]
    EJERCICIO 4.- Resolver el ejercicio 3 de EJERCICIOS 3.

    . Demuestre que (P → Q) ᴧ (⌐P → Q) → Q es una tautología. Convierta esta


    tautología en un esquema con A reemplazando P y B reemplazando Q. Use este
    esquema para demostrar que:
    EJERCICIO 5: Resolver el ejercicio 6(b) de EJERCICIOS 3.

    . Eliminar → y ↔ de las siguientes expresiones.


    EJERCICIO 6.- Resolver el ejercicio 7(d) de EJERCICIOS 3.

    . Utilizando las leyes de la Tablas 1.16 demuestre las siguientes equivalencias:


    EJERCICIO 7.- De 4 ejemplos de metalenguajes con sus respectivos símbolos.

    EJERCICIO 8.- Resolver el ejercicio 9 de EJERCICIOS 3


    9. Construir 4 enunciados de al menos 4 proposiciones que
    sean contradicciones.

    También podría gustarte