Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 5 vistas

    DISCRETA 3 Lógica

    Cargado por

    cualquierpagina540

    Copyright:

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

    DISCRETA 3 Lógica

    Cargado por

    cualquierpagina540
    5 vistas27 páginas

    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?

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    5 vistas27 páginas

    DISCRETA 3 Lógica

    Cargado por

    cualquierpagina540

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 27

    “Ciencia y Tecnología al Servicio del País”

    23-II

    Facultad de Ingeniería Industrial y


    de Sistemas
    Curso: FB301 Matemáticas Discretas, sección Y

    Docente: Eddie D. Cueva Huánuco

    Ciclo Académico 2023-II


    LÓGICA
    PROPOSICIONAL
    LÓGICA PROPOSICIONAL

    La Lógica es la disciplina que trata de los métodos de razonamiento; el problema


    central que aborda es la distinción entre razonamiento correcto e incorrecto.

    En un nivel elemental, la Lógica Proposicional trata de reglas y técnicas para


    determinar si es válido o no un argumento dado.

    El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en


    ciencias de la computación, para verificar si son o no correctos los programas; en la
    ciencias físicas y naturales, para sacar conclusiones de experimentos, y en las ciencias
    sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente
    se usa en forma constante.
    Proposición Lógica

    Una proposición lógica es una expresión o enunciado que tiene la cualidad de ser verdadero o bien falsa, pero no
    ambos a la vez. Una proposición lógica se denota por letras minúsculas: 𝑝,𝑞,𝑟,𝑠,𝑡,...
    Ejemplos:
     𝑝: El curso de Discreta es obligatorio para el segundo año de bachillerato.
     𝑞: César Vallejo escribió «Los Heraldos Negros».
     𝑟:−1+1=0.
    No son proposiciones:
     Exclamaciones.
     Mandatos.

    Simple Compuesta

    O Elemental, es una proposición que no se Es aquella proposición que se puede


    puede descomponer en algo más sencillo. descomponer en dos o mas proposiciones
    simples unidas por conectores lógicos.
    Conectores Lógicos

    Conector Símbolo Significado Ejemplo de uso en forma natural

    Negación ~ “No…”, “No es cierto que…” No está lloviendo.

    Conjunción (producto lógico) ∧ “ ...y...” Está lloviendo y la calle está mojada.

    Disyunción (suma lógica) ∨ “...O... “ (en sentido incluyente) Está lloviendo o la calle está mojada.

    Implicación → “...implica…”, o “si… Entonces…” Si está lloviendo, entonces la calle está


    mojada.
    Doble Implicación ↔ “..si y solo si…” Está lloviendo si y solo si la calle está
    mojada.
    Diferencia simétrica o Δ ⊕ “O… O... “ (en sentido excluyente) O bien está lloviendo, o bien la calle está
    Disyunción excluyente. mojada.
    Tablas de Verdad

    Sean dos proposiciones 𝑝 y 𝑞:

    Ejemplo:
    Dada la proposición 𝑝 ∨(~ 𝑞) → 𝑝, determine su tabla de verdad.
    Tautología y Contradicción

    Tautología Contradicción

    Cuando una proposición es siempre Verdadera Toda proposición que resulta el valor de Falsa
    para cualquier combinación de valores de para todas las posibles combinaciones.
    verdad de sus componentes.
    Ejemplo: Ejemplo:
    Proposiciones Equivalentes

    Dos proposiciones son equivalentes si sus tablas de verdad son idénticas.


    Se denota por: 𝑝 ≡ 𝑞
    Ejemplo:
    Equivalencias Lógicas (1/2)
    Equivalencias Lógicas (2/2)
    Cuantificadores: existencial y universal
    Negación de Cuantificadores
    Proposiciones Condicionales
    Predicados
    Predicados con Cuantificadores (1/3)
    Predicados con Cuantificadores (2/3)
    Predicados con Cuantificadores (3/3)
    Métodos de Demostración
    1. Método Directo (1/3)
    1. Método Directo (2/3)
    1. Método Directo (3/3)
    2. Método Indirecto
    3. MÉTODO DE DEMOSTRACIÓN POR
    CONTRADICCIÓN
    Inducción Matemática (1/2)
    Inducción Matemática (2/2)
    ¡MUCHAS GRACIAS!

    También podría gustarte