Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 8 vistas

    Guia 1 Logica-1

    Cargado por

    Anibal Mercado De la Fuente
    Este documento presenta ejercicios de lógica matemática, incluyendo tablas de verdad, expresiones lógicas, cuantificadores y conjuntos.

    Copyright:

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

    Guia 1 Logica-1

    Cargado por

    Anibal Mercado De la Fuente
    8 vistas4 páginas
    Este documento presenta ejercicios de lógica matemática, incluyendo tablas de verdad, expresiones lógicas, cuantificadores y conjuntos.

    Descripción original:

    excelente guia para aprender lógica desde cero

    Título original

    Guia_1_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?

    Este documento presenta ejercicios de lógica matemática, incluyendo tablas de verdad, expresiones lógicas, cuantificadores y conjuntos.

    Copyright:

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

    Guia 1 Logica-1

    Cargado por

    Anibal Mercado De la Fuente
    Este documento presenta ejercicios de lógica matemática, incluyendo tablas de verdad, expresiones lógicas, cuantificadores y conjuntos.

    Copyright:

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

    Matemáticas I

    OSCAR MOYANO D

    I
    LÓGICA
    1. Siendo p los precios son bajos y q los precios no suben, escribir en
    lenguaje corriente las expresiones simbólicas siguientes:

    a) ~q
    b) p∧q
    c) 𝑝 ∧ ~𝑞
    d) ~𝑝 ∧ ~𝑞
    e) ~( 𝑝 ∨ ~𝑞)

    Solución.

    a) Los precios suben.


    b) Los precios son bajos y los precios no suben.
    c) Los precios son bajos y los precios suben.
    d) Los precios no son bajos y los precios suben.
    e) No es cierto que los precios son bajos o los precios suben.

    2. Pruebe usando tablas de verdad que:

    a) (𝑝 ∧ 𝑞) ⟺ ~( p ⇒ ~q)
    b) [p ⇒ ~(𝑞 ∨ 𝑟)] ⟺ [(𝑝 ∧ ~𝑞) ⇒ 𝑟]
    c) [(a ⇒ 𝑏) ∧ (b ⇒ 𝑐)] ⇒ (a ⇒ 𝑐)
    d) (a ⇒ 𝑏) ⇒ [(c ∨ a) ⇒ (c ∨ b)]

    Solución.

    Todas son tautologías.

    3. Siendo p y q proposiciones cualesquiera, la proposición,

    (a ⇒ 𝑏) ⟺ [(a ∨ b) ⟺ 𝑏]

    a) ¿Es siempre verdadera?


    b) ¿Es verdadera si y sólo si p lo es?
    c) ¿Es verdadera si y sólo si q es falsa?
    d) ¿Es verdadera si y sólo si p y q lo son?

    Solución.

    PAGINA Nº 2
    Construyendo su tabla de verdad, tenemos que siempre es
    verdadera (tautología).

    4. Sean p tengo un loro y q tengo un gato, escribir en lenguaje corriente


    y luego simplificar.

    ~[~𝑝 ∨ ~(~𝑞)] ∧ ~(~p)


    Solución.

    Notemos previamente que: ~[~p ∨ ~(~q)] ∧ ~(~p) ≡ p ∧ ~q

    Luego, es equivalente a afirmar: tengo un loro y no tengo un gato.

    5. Pruebe, sin hacer uso de tablas de verdad, que:

    a) ( 𝑝 ∧ ~𝑞 ) ⇒ 𝑟 ≡ ~p ∨ (𝑞 ∨ 𝑟)
    b) [( 𝑝 ∧ 𝑞 ) ∨ 𝑟)] ∧ ~𝑞 ≡ ( 𝑟 ∧ ~𝑞 )

    6. ¿Cuál es la relación que existe entre las proposiciones siguientes?:

    p ⇒ [ 𝑝 ∧ ~(𝑞 ∨ 𝑟)] y ~p ∨ (~𝑞 ∧ ~𝑟)

    Solución.

    Podemos afirmar que entre estas dos proposiciones hay una relación de
    equivalencia.

    7. Simplifique las siguientes expresiones:

    a) ( 𝑝 ∨ 𝑞 ) ⇒ (~p ∧ 𝑞 )
    b) [ 𝑝 ∧ (𝑞 ∨ 𝑟)] ∧ ~𝑞
    c) [ 𝑝 ⇒ (𝑞 ⇒ 𝑞)] ⇒ (𝑝 ∨ 𝑞 )

    Solución.

    a) ~p b) 𝑟 ∧ ~𝑞 c) Es una tautología.

    8. Sea 𝑎 = {1, 2, 3, 4 } el conjunto universal. Determinar el valor de ver-


    dad de cada enunciado:

    a) ∀ 𝑥 ∶ 𝑥 + 3 < 6
    b) ∀ 𝑥 ∶ 𝑥 2 − 10 ≤ 8
    PAGINA Nº 3
    c) ∃ 𝑥 ∶ 2𝑥 2 + 𝑥 = 15
    d) ∃ 𝑥 ∶ 𝑥 2 > 1 ⇒ 𝑥 + 2 = 0

    Solución.

    a) F b) V c) F d) V

    9. Negar los siguientes enunciados:

    a) ∃ 𝑦 ∶ 𝑝(𝑦) ⇒ ∀ 𝑥 ∶ ~𝑞(𝑥)
    b) ∃ 𝑥 ∶ ~𝑝(𝑥) ∨ ∀ 𝑥 ∶ 𝑞(𝑥)
    c) ∃ 𝑥 ∀ 𝑦 ∶ [ 𝑝(𝑥, 𝑦) ⇒ 𝑞(𝑥, 𝑦)]

    Solución.

    a) ∀ 𝑦 ∶ 𝑝(𝑦) ∧ ∃ 𝑥 ∶ 𝑞(𝑥)
    b) ∀ 𝑥 ∶ 𝑝(𝑥) ∧ ∃ 𝑥 ∶ ~𝑞(𝑥)
    c) ∀ 𝑥∃ 𝑦 ∶ [ 𝑝(𝑥, 𝑦) ∧ ~𝑞(𝑥, 𝑦)]

    PAGINA Nº 4

    También podría gustarte