Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 216 vistas

    Tarea 1 Logica y Teoria de Conjuntos

    Cargado por

    rosaida hernandez
    Este documento presenta una introducción a la lógica proposicional. Incluye ejercicios para representar proposiciones usando conectivos lógicos y lenguaje simbólico, así como tablas de verdad para determinar el valor de verdad de proposiciones complejas. También incluye un acertijo sobre números mágicos y demostraciones de tautologías usando tablas de verdad.

    Copyright:

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

    Tarea 1 Logica y Teoria de Conjuntos

    Cargado por

    rosaida hernandez
    216 vistas4 páginas
    Este documento presenta una introducción a la lógica proposicional. Incluye ejercicios para representar proposiciones usando conectivos lógicos y lenguaje simbólico, así como tablas de verdad para determinar el valor de verdad de proposiciones complejas. También incluye un acertijo sobre números mágicos y demostraciones de tautologías usando tablas de verdad.

    Descripción original:

    logica y teoria de conjuntos

    Título original

    tarea 1 logica y teoria de conjuntos

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOC, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta una introducción a la lógica proposicional. Incluye ejercicios para representar proposiciones usando conectivos lógicos y lenguaje simbólico, así como tablas de verdad para determinar el valor de verdad de proposiciones complejas. También incluye un acertijo sobre números mágicos y demostraciones de tautologías usando tablas de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    216 vistas4 páginas

    Tarea 1 Logica y Teoria de Conjuntos

    Cargado por

    rosaida hernandez
    Este documento presenta una introducción a la lógica proposicional. Incluye ejercicios para representar proposiciones usando conectivos lógicos y lenguaje simbólico, así como tablas de verdad para determinar el valor de verdad de proposiciones complejas. También incluye un acertijo sobre números mágicos y demostraciones de tautologías usando tablas de verdad.

    Copyright:

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

    Introducción a la Lógica Proposicional

    I) Utilice un conectivo lógico en cada espacio para enlazar las


    siguientes proposiciones, teniendo en cuenta que éstos no se deben
    repetir:

    a) Si 3x4=17 entonces 12º =1.


    b) 3+2= 5 y 7º =1.
    c) La casa de gobierno de USA No es amarilla.
    d) 25x5 = 10 O 3x7 = 21.
    e) El número 3 es impar si lo si el 2 es un número primo.
    f) O escoge un lápiz o un lapicero.

    II) Completa correctamente los siguientes planteamientos:

    a) O 9x4=36 _______________________________________________________
    b) Si 3x5 es igual a 5 ________________________________________________

    III) Un estudiante de Lógica Matemática observa un mouse y un


    teclado en el extremo de un salón. La persona encargada establece
    que no puede usar ninguno de los dos. Representa esta situación con
    el lenguaje simbólico.

    ─p ─Q
    IV) Utilice el Lenguaje Simbólico para representar las siguientes
    proposiciones:

    a) Todo número entero es número natural. ᵾE=N


    b) Si 30+50=2, entonces 2 es un numero primo. 30+50 → 2
    c) 10:5 =2, si y solo si el número √2 es irracional. 10:5 =2 ↔√2 es irracional
    d) 15 es un múltiplo de 5 y 6 < 7 15 es un múltiplo de 5 ˄ y 6 < 7
    e) 5 + 7 =12 o 122= 14 5 + 7 =12 ˅ 122= 14

    V) Dadas las proposiciones P: El 2 es un número primo par, Q: 9x8= 71,


    R: 9-9=0, S: 7x6+2=44 y T: 5-4+3-1+3=6. Determine el valor de verdad
    en cada caso:

    a) P Λ Q el 2 es un número primo par y 9x8= 71


    b) P v R 2 es un número primo par o 9-9=0
    c) ~P → S si 2 no es un número primo par entonces 7x6+2=44
    d) R → ~T si 9-9=0 entonces 5-4+3-1+3≠6
    e) PvT 2 es un número primo par o 5-4+3-1+3=6
    f) R↔ T 9-9=0 si y solo si 5-4+3-1+3=6
    g) ( P Λ T) V (P V ~ S) El 2 es un número primo par y 5-4+3-1+3=6 o El 2 es un
    número primo par o no 7x6+2=44
    h) (~ Q V T) Λ (~P V S)

    VI) Complete correctamente las siguientes tablas:

    a) b) c)
    P Q QVP
    V v V
    v F V
    f v V
    f f F

    d) e) f)
    P Q Q↔P
    P Q Q↓P
    V v V V v F
    v F F v F F
    f v F
    f v F
    f v F
    f f V

    g)
    p Q R ~p ~q (p v q) (~ p ^ ~ q) p→ q (p v q) p↔r
    V V V F F V F v f v
    V V F F F V F V f v
    V F V F V F F f v f
    V F F F V F F f v f
    F V V V F F F V v f
    F V F V F F F V v f
    F F V V V F V v f v
    F F F V v F V v f v

    VII) Piensa un poquito y analiza: Si tú compras una tarjeta de llamada telefónica y se te


    borra el último número. ¿Cuántos intentos máximos darías para saber el número
    borrado?
    VIII) Cuadrado mágico: Utilizando los números del 1 al 9, (sin repetir números)
    completa el siguiente cuadro de tal manera que sume 15 por todas partes, es decir por
    todas las filas, por todas las columnas y por todas las diagonales.

    5 5 5

    5 5 5

    5 5 5

    IX) Sean p, q y r proposiciones, tales que: p es V, q es F, r es V. Determine el valor de


    verdad de las siguientes proposiciones:
    a) p qq r↔p r
    b) p ↓r ↔q r 
    c) p qr p
    x) Completa la siguiente tabla y luego clasifícala en tautología, contingencia o
    contradicción:

    p q ~p ~q (~p ^ ~q) (p v q) (~p ^ ~q)→ (p v q)


    v v f F F v v
    v f f V F v v
    f v v F F v v
    f f v V V f f
    XI) Demuestre por medio de tablas de verdad si la siguientes proposiciones son
    Tautología (T) Contingencia o Indeterminación (k) o Contradicción (C)

    a) [(p → q) ∧ ~p] →~q


    b) [(p v q) r] ↔ [(p ↔q) v r ]
    c) ~ {[~p ∧ (~q v p)] → q}
    d) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)]
    e) [(a → b) ∧ (b →c)] ↔(a → c)
    f) [(p V q) ^ ( p→ r) ^ ¬ r] → q
    g) [ ((p ^ ¬ q) ^ ( q → r)) ^ ¬ r] → p
    h) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r)

    También podría gustarte