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

¡Te damos la bienvenida a Scribd!

  • 88 vistas

    Guia Lógica Proposicional

    Cargado por

    Eduardo Nogales
    Este documento es una guía de ejercicios para la unidad 1 de la asignatura Introducción a la Matemática sobre lógica proposicional. Contiene 8 ejercicios que abarcan temas como identificar si una expresión es una proposición atómica o molecular, expresar proposiciones en forma simbólica, construir tablas de verdad, determinar equivalencias y implicaciones lógicas entre fórmulas proposicionales, y simplificar fórmulas mediante leyes del álgebra proposicional. El objetivo es que

    Copyright:

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

    Guia Lógica Proposicional

    Cargado por

    Eduardo Nogales
    88 vistas1 página
    Este documento es una guía de ejercicios para la unidad 1 de la asignatura Introducción a la Matemática sobre lógica proposicional. Contiene 8 ejercicios que abarcan temas como identificar si una expresión es una proposición atómica o molecular, expresar proposiciones en forma simbólica, construir tablas de verdad, determinar equivalencias y implicaciones lógicas entre fórmulas proposicionales, y simplificar fórmulas mediante leyes del álgebra proposicional. El objetivo es que

    Título original

    Guia lógica proposicIonal

    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 es una guía de ejercicios para la unidad 1 de la asignatura Introducción a la Matemática sobre lógica proposicional. Contiene 8 ejercicios que abarcan temas como identificar si una expresión es una proposición atómica o molecular, expresar proposiciones en forma simbólica, construir tablas de verdad, determinar equivalencias y implicaciones lógicas entre fórmulas proposicionales, y simplificar fórmulas mediante leyes del álgebra proposicional. El objetivo es que

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    88 vistas1 página

    Guia Lógica Proposicional

    Cargado por

    Eduardo Nogales
    Este documento es una guía de ejercicios para la unidad 1 de la asignatura Introducción a la Matemática sobre lógica proposicional. Contiene 8 ejercicios que abarcan temas como identificar si una expresión es una proposición atómica o molecular, expresar proposiciones en forma simbólica, construir tablas de verdad, determinar equivalencias y implicaciones lógicas entre fórmulas proposicionales, y simplificar fórmulas mediante leyes del álgebra proposicional. El objetivo es que

    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 1

    Universidad de Carabobo

    Facultad de Ciencias Económicas y Sociales


    Ciclo Básico - Núcleo Aragua
    Catedra: Matemática
    Asignatura: Introducción a la Matemática
    Prof. Carmen Gil
    GUÍA DE EJERCICIOS -UNIDAD I (Lógica Proposicional)
    1. Diga si las siguientes expresiones son proposiciones o no. En caso afirmativo señale si la proposición es atómica o
    molecular (indicando el conectivo) y si es verdadera o falsa.
    a) El agua se compone de hidrogeno y oxígeno.
    b) 2+5=8
    c) Todo estudiante es universitario.
    d) ¿Cómo te llamas?
    e) Todos los hombres son mortales.
    f) Toda proposición que tiene menos de 15 palabras es falsa.
    1. Dadas las variables 𝒑: 𝒆𝒔𝒕á 𝒍𝒍𝒐𝒗𝒊𝒆𝒏𝒅𝒐 , 𝒒: 𝒆𝒍 𝒔𝒐𝒍 𝒆𝒔𝒕á 𝒃𝒓𝒊𝒍𝒍𝒂𝒏𝒅𝒐 , 𝒓: 𝒉𝒂𝒚 𝒏𝒖𝒃𝒆𝒔 𝒆𝒏 𝒆𝒍 𝒄𝒊𝒆𝒍𝒐. Exprese de manera
    simbólica las siguientes proposiciones.
    a) Está lloviendo y el sol está brillando.
    b) Si no está lloviendo, entonces el sol no está brillando y hay nubes en el cielo.
    c) Si no hay nubes en el cielo entonces el sol está brillando.
    d) Para que el sol este brillando es suficiente que no esté lloviendo.
    2. Sean las proposiciones 𝒑: 𝒆𝒍 𝒅𝒊𝒏𝒆𝒓𝒐 𝒆𝒔𝒄𝒂𝒔𝒆𝒂 , 𝒒: 𝒍𝒂 𝒊𝒏𝒇𝒍𝒂𝒄𝒊ó𝒏 𝒃𝒂𝒋𝒂 , 𝒔: 𝒍𝒐𝒔 𝒊𝒏𝒕𝒆𝒓𝒆𝒔𝒆𝒔 𝒔𝒖𝒃𝒆𝒏. Escribir
    simbólicamente las siguientes proposiciones:
    a) Si el dinero escasea, entonces los intereses suben y la inflación baja.
    b) El dinero escasea solo si la inflación baja.
    c) Que el dinero escasee es condición necesaria para que los intereses suban.
    d) Una condición suficiente para que los intereses suban es que la inflación baje.
    e) Una condición necesaria para que el dinero escasee es que los intereses suban.
    f) Para que la inflación no baje es suficiente que el dinero no escasee.
    3. Simbolice la siguiente proposición: “Si el sospechoso estuvo en la playa, entonces no estuvo en la ciudad, y si no
    estuvo en la ciudad, entonces no robo el banco”.
    4. Sean las proposiciones 𝒑: 𝟓 > 𝟕 𝒓: 𝟓 + 𝟏𝟓 = 𝟐𝟎. Hallar el valor de verdad de:
    a) 𝑝 ∧ 𝑟
    b) (∼ 𝑝) ∧ 𝑟
    c) 𝑟 → 𝑝
    d) ∼ (𝑟 ↔ (∼ 𝑝))
    5. Construir la tabla de verdad de las formulas proposicionales e indique el tipo de proposición molecular.
    a) [(𝑝 → 𝑞) ∧ (𝑟 → 𝑞)] ↔ [(𝑝 ∨ 𝑟) → 𝑞]
    b) {[𝑝 ∧ (∼ 𝑞 → 𝑝)] ∧ [(∼ 𝑞 ↔ 𝑝) → (𝑝 → 𝑞)]}
    c) {[(𝑝 → 𝑞) ∧ (𝑝 ∧ 𝑟)] ∧ [[(𝑞 ∧ 𝑠) →∼ 𝑡] ∧ (𝑟 → 𝑠)]} →∼ 𝑡
    d) [(𝑝 ∧ 𝑞) ∨ (∼ 𝑞)] ∧ [((∼ 𝑝) ∨ (∼ 𝑞)) ∧ 𝑞]
    6. Determinar si la formula proposicional A es equivalente lógicamente a B. (𝑨 ≡ 𝑩)
    a) 𝐴: (∼ 𝑝 ∨ 𝑞) ∧∼ (𝑝 ∧ 𝑞) 𝐵: 𝑟 ↔∼ 𝑝
    b) 𝐴: ∼ [𝑟 ⟶∼ (𝑞 ⟶ 𝑝)] 𝐵: (𝑟 ∧ 𝑝) ∧∼ 𝑞
    c) 𝐴: 𝑝 ↔ 𝑞 𝐵: 𝑝 ↔∼ 𝑞
    d) 𝐴: (𝑝 ∨∼ 𝑞 ) ⟶ [(𝑝 ∧ 𝑟) ⟶∼ 𝑞 ] 𝐵: 𝑞 ∧ (𝑝 ⟶ 𝑟)
    7. Determinar si la formula proposicional A implica lógicamente a B. (𝑨 ⇒ 𝑩)
    a) 𝐴: (𝑝 ⟷∼ 𝑞) ∧∼ 𝑝 𝐵: 𝑞 ∧ (𝑝 ∨∼ 𝑞)
    b) 𝐴: ∼ (𝑝 →∼ 𝑞) 𝐵: 𝑝 ∧ 𝑞
    c) 𝐴: 𝑝 → (𝑞 ∨ 𝑟) 𝐵: (𝑝 → 𝑞) ∨ (𝑞 → 𝑟)
    d) 𝐴: [∼ (𝑝 →∼ 𝑞) ∧∼ (𝑝 ∨ 𝑟)] ∧∼ 𝑟 𝐵: 𝑞 ↔∼ 𝑝
    8. Simplificar (mediante las leyes del Álgebra Proposicional) las siguientes formas proposicionales.
    a) ∼ 𝑞 ∧ [(𝑝 ∧ 𝑞) ∨ 𝑟]
    b) 𝑝 → [𝑝 ∧∼ (𝑞 ∨ 𝑟)]
    c) (𝑝 → 𝑞) ↔ [(∼ 𝑝 ∨∼ 𝑞) → 𝑞]
    d) {(𝑝 ∧ 𝑞) ∨ (𝑞 ∧∼ 𝑟) ∨ (∼ 𝑟 ∧ 𝑝) ∨ (𝑞 ∧ 𝑟)} ∧ 𝑝
    e) {[𝑝 ∨ (𝑞 ∧ 𝑟) ∨∼ 𝑝] ∧∼ 𝑞} ∨ (𝑞 ∧∼ 𝑟)

    También podría gustarte