Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Tarea 3 Logica

    Cargado por

    brayan chuquimboques
    16 vistas8 páginas
    El documento presenta una tarea sobre el desarrollo del pensamiento lógico matemático. La tarea incluye cinco puntos: 1) construir tablas de verdad para expresiones lógicas y determinar si son tautologías, contradicciones o contingencias; 2) utilizar la tautología P v -P para demostrar que expresiones son tautologías; 3) demostrar que una expresión es una tautología usando un esquema; 4) eliminar operadores lógicos de expresiones; y 5) dar ejemplos de metalengu

    Descripción original:

    1d3131

    Título original

    Tarea 3 Logica (1)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    El documento presenta una tarea sobre el desarrollo del pensamiento lógico matemático. La tarea incluye cinco puntos: 1) construir tablas de verdad para expresiones lógicas y determinar si son tautologías, contradicciones o contingencias; 2) utilizar la tautología P v -P para demostrar que expresiones son tautologías; 3) demostrar que una expresión es una tautología usando un esquema; 4) eliminar operadores lógicos de expresiones; y 5) dar ejemplos de metalengu

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    16 vistas8 páginas

    Tarea 3 Logica

    Cargado por

    brayan chuquimboques
    El documento presenta una tarea sobre el desarrollo del pensamiento lógico matemático. La tarea incluye cinco puntos: 1) construir tablas de verdad para expresiones lógicas y determinar si son tautologías, contradicciones o contingencias; 2) utilizar la tautología P v -P para demostrar que expresiones son tautologías; 3) demostrar que una expresión es una tautología usando un esquema; 4) eliminar operadores lógicos de expresiones; y 5) dar ejemplos de metalengu

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 8

    UNIVERSIDAD NACIONAL DE TRUJILLO

    Escuela profesional: Ingeniería Industrial


    Sede: Valle Jequetepeque

    Ciclo: I

    Integrantes:

    • Castro Huamán Hilda Karina

    • Cholan Uriol Rodrigo Clinton

    • Mestanza Terrones Luis Fernando

    TAREA 3 – DESARROLLO DEL PENSAMIENTO


    LOGICO MATEMATICO

    1. Construir la tabla de verdad para cada una de las expresiones. Indique


    para cada expresión si es una tautología, contradicción o contingencia.
    UNIVERSIDAD NACIONAL DE TRUJILLO
    UNIVERSIDAD NACIONAL DE TRUJILLO
    1.Construir la tabla de verdad para cada una de las expresiones. Indique para
    cada expresión si es una tautología, contradicción o contingencia

    2. Utilizar la tautología P v -P para demostrar que las siguientes expresiones


    son tautologías.
    UNIVERSIDAD NACIONAL DE TRUJILLO

    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:

    4. Eliminar → y ↔ de las siguientes expresiones.


    UNIVERSIDAD NACIONAL DE TRUJILLO

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

    5. De 4 ejemplos de metalenguajes con sus respectivos símbolos.


    UNIVERSIDAD NACIONAL DE TRUJILLO
    UNIVERSIDAD NACIONAL DE TRUJILLO

    También podría gustarte