Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 19 vistas

    Mat Disc U3 Logica Matematica - 1isc12

    Cargado por

    Ruben Frias Ramírez
    Este documento presenta conceptos básicos de lógica proposicional como proposiciones, tablas de verdad, operaciones lógicas, argumentos y su validez. Explica cómo evaluar proposiciones compuestas usando tablas de verdad y distinguir entre tautologías, contradicciones y equivalencias lógicas.

    Copyright:

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

    Mat Disc U3 Logica Matematica - 1isc12

    Cargado por

    Ruben Frias Ramírez
    19 vistas21 páginas
    Este documento presenta conceptos básicos de lógica proposicional como proposiciones, tablas de verdad, operaciones lógicas, argumentos y su validez. Explica cómo evaluar proposiciones compuestas usando tablas de verdad y distinguir entre tautologías, contradicciones y equivalencias lógicas.

    Descripción original:

    Aquí vemos lo referente a matemáticas discretas de lógica matemática

    Título original

    Mat Disc U3 Logica matematica - 1isc12

    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?

    Este documento presenta conceptos básicos de lógica proposicional como proposiciones, tablas de verdad, operaciones lógicas, argumentos y su validez. Explica cómo evaluar proposiciones compuestas usando tablas de verdad y distinguir entre tautologías, contradicciones y equivalencias lógicas.

    Copyright:

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

    Mat Disc U3 Logica Matematica - 1isc12

    Cargado por

    Ruben Frias Ramírez
    Este documento presenta conceptos básicos de lógica proposicional como proposiciones, tablas de verdad, operaciones lógicas, argumentos y su validez. Explica cómo evaluar proposiciones compuestas usando tablas de verdad y distinguir entre tautologías, contradicciones y equivalencias lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 21

    Unidad 3: Lógica

    matemática
    Lógica

    ´Rama de la filosofía y de las matemáticas que


    estudia los principios de la inferencia válida,
    las falacias, las paradojas y la noción de verdad.
    Lógica proposicional

    ´Proposición: Afirmación declarativa que es falsa


    o verdadera, pero no ambas.
    ´El hielo flota
    ´China esta en Europa
    ´2+2 = 4
    ´6<9
    ´¿A donde vas?
    Proposición compuesta

    ´ Compuesta por dos o mas proposiciones y


    conectores(operaciones lógicas)

    Operaciones lógicas
    Conjunción ^ Y AND &&

    Disyunción v O OR ||

    Negación ¬ (~) NO NOT !


    Tablas de verdad

    ´Conjunción ´Disyunción ´Negación


    p q p^q p q pvq p ¬p

    V V V V V V V F
    V F F V F V F V
    F V F F V V
    F F F F F F
    Ejemplo 1 de tablas de verdad
    Resolver: p^(¬p v q)

    p q ¬p ¬p v q p^(¬p v q)
    1 V V F V V
    2 V F F F F
    3 F V V V F
    4 F F V V F
    Tautología

    ´p v ¬p

    p ¬p p v ¬p
    V F V
    F V V
    Contradicción

    ´p ^ ¬p

    p ¬p p ^¬p
    V F F
    F V F
    Equivalencia lógica

    ´Evaluar: ¬(p ^ q) , ¬p v ¬q

    p Q p^q ¬(p ^ q) p q ¬p ¬q ¬p v ¬q
    V V V F V V F F F
    V F F V V F F V V
    F V F V F V V F V
    F F F V F F V V V
    Soluciona la siguiente proposición
    compuesta
    ´(¬q v ¬r) ^ ((p ^ r) v ¬p)
    p q r ¬p ¬q ¬r ¬q v ¬r p^r (p ^ r) v ¬p (¬q v ¬r) ^ ((p ^ r) v ¬p)
    V V V F F F F V V F
    V V F F F V V F F F
    V F V F V F V V V V
    V F F F V V V F F F
    F V V V F F F F V F
    F V F V F V V F V V
    F F V V V F V F V V
    F F F V V V V F V V
    Ejercicio

    ´(¬q v ¬p) ^ ((p ^ ¬q) v ¬p)


    ´¬(q v ¬r) ^ ((¬ p ^ r) v ¬p)
    ´(¬q v ¬r) ^ (¬(p ^ r) v ¬s)
    Inferencia
    ´ Es el proceso por el cual se derivan conclusiones a partir
    de premisas. Cuando una proposición se sigue de otras de
    ese modo, se dice que éstas implican aquella.

    Clasificación
    Deductivas Argumentos válidos
    Inferencia

    Inductivas Argumentos fiables


    Premisa

    ´Proposición de un argumento para desarrollar


    una conclusión.
    Proposiciones condicionales y
    bicondicionales
    ´Si p entonces q; condicional p àq
    ´P implica q, p solo si q
    ´P si y solo si q; bicondicional pßàq
    ´La proposición condicional es falsa cuando p es
    verdadera y q es falsa.
    ´La proposición bicondicional es verdadera
    cuando p y q son iguales.
    Tablas de verdad

    Condicional Bicondicional

    p q pà q p q Pßàq
    V V V V V V
    V F F V F F
    F V V F V F
    F F V F F V
    Argumento

    ´ Es una aseveración de que un conjunto de proposiciones


    (P1, P2….Pn) que se denominan premisas, que conducen a
    otra proposición Q que se denomina conclusión. Un
    argumento se denota por

    ´ Un argumento P1, P2, . . . , Pn, Q es válido si Q es


    verdadera siempre que todas las premisas P1, P2, . . . ,P n
    son verdaderas.
    ´ Un argumento que no es válido se denomina falacia.
    Ejemplos

    ´Argumento 1:
    ´Premisa 1: Ana va al parque los domingos
    ´Premisa 2: hoy, Ana fue al parque
    ´Conclusión: Hoy es domingo
    ´ Argumento 2:
    ´Premisa 1:Todas las aves tienen alas y pico
    ´Premisa 2: Las gallinas tienen alas y pico
    ´Conclusión: las gallinas son aves.
    Argumento con implicaciones

    ´ Premisa 1: Si juan estudia adecuadamente, entonces


    juan pasa el curso.
    ´ Premisa 2: Juan está estudiando adecuadamente.
    ´ Conclusión: Juan pasará el examen.
    Tabla de verdad de un argumento

    ´Resolver el siguiente argumento:


    ´P1: p à q
    ´P2: q à p
    ´C: p v q p q pà q qàp pvq
    V V V V V
    V F F V V
    F V V F V
    F F V V F
    p q r pàq qàr pàr
    1 V V V V V V
    ´Argumento 2 2 V V F V F F
    ´P1: p à q 3 V F V F V V
    ´P2: q à r 4 V F F F V F
    ´C: p à r 5 F V V V V V
    6 F V F V F V
    7 F F V V V V
    8 F F F V V V

    También podría gustarte