Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 48 vistas

    Práctica 1 Lógica Proposicional Estudiantes

    Cargado por

    Diego Sebastian Guaygua Fernandez
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Incluye simbolizar proposiciones, determinar valores de verdad, resolver tablas de verdad, simplificar expresiones lógicas y demostrar razonamientos válidos. Los ejercicios cubren conceptos como conectivos lógicos, tablas de verdad, circuitos lógicos y expresiones en forma simbólica.

    Copyright:

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

    Práctica 1 Lógica Proposicional Estudiantes

    Cargado por

    Diego Sebastian Guaygua Fernandez
    48 vistas2 páginas
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Incluye simbolizar proposiciones, determinar valores de verdad, resolver tablas de verdad, simplificar expresiones lógicas y demostrar razonamientos válidos. Los ejercicios cubren conceptos como conectivos lógicos, tablas de verdad, circuitos lógicos y expresiones en forma simbólica.

    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 una serie de ejercicios sobre lógica proposicional. Incluye simbolizar proposiciones, determinar valores de verdad, resolver tablas de verdad, simplificar expresiones lógicas y demostrar razonamientos válidos. Los ejercicios cubren conceptos como conectivos lógicos, tablas de verdad, circuitos lógicos y expresiones en forma simbólica.

    Copyright:

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

    Práctica 1 Lógica Proposicional Estudiantes

    Cargado por

    Diego Sebastian Guaygua Fernandez
    Este documento presenta una serie de ejercicios sobre lógica proposicional. Incluye simbolizar proposiciones, determinar valores de verdad, resolver tablas de verdad, simplificar expresiones lógicas y demostrar razonamientos válidos. Los ejercicios cubren conceptos como conectivos lógicos, tablas de verdad, circuitos lógicos y expresiones en forma simbólica.

    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 2

    PRÁCTICA 1 LÓGICA PROPOSICIONAL

    1. Simbolizar cada una de las proposiciones siguientes:

    A.- Si esta planta no crece entonces necesita más agua o necesita fertilizante

    B.- No es cierto que, cuatro más seis no es igual a ocho

    C.- Si tuviera dinero o tuviera un auto, pasaría todos los días viajando y dejaría de ver televisión

    2. Elija la opción correcta que representa la proposición:

    A.- Si estudias y trabajas, entonces realizas un mayor esfuerzo

    3. Sean p, q y r los enunciados siguientes:


    a. p: “estudiaré matemáticas”
    b. q: “iré a mi clase de computación”
    c. r: “estoy de buen humor”

    traduzca cada una de las siguientes proposiciones al lenguaje corriente:

    a) ~p^q ; b) r→(p v q); c) ~r→(p v ~q);


    4. Determinar el valor de verdad de las siguientes proposiciones:
    a) “ Si 2+3=4, entonces 1+2=3”
    b) “ Si 1+1=2, entonces 2+2=3”
    c) “Si 5-3>1, entonces 3-5<-1”
    d) “Si 4-4>3, entonces 2-2<-3”
    5. Resuelva las tablas de verdad de las siguientes proposiciones e indique su tipo
    a) Tabla de la verdad de la proposición: ~ (p ∨ q) ↔ (~ p ^ ~ q)
    b) Tabla de la verdad de la proposición: [~(p ↔ q)] ↔ [ p ↔ (~q)]
    c) Tabla de la verdad de la proposición: [(p → q) ^ (p → r)] → (p → r)
    6. Sean q y s proporciones cualesquiera, p y r proposiciones tales que ~(𝑝 v ~𝑟) es
    verdadera. Hallar el valor de verdad de las proposiciones siguientes:
    a) [𝑝 → (𝑞^𝑠)] ⊻ (~𝑞 → 𝑟)
    b) [(𝑟 𝑣 𝑞) → (𝑝 ^𝑠)] → (~𝑞 ⊻ 𝑠)
    7. Hallar el valor de verdad de las proposiciones p, q , r y s sabiendo que:
    a) ~(𝑝 𝑣 ~𝑟)^~(𝑞 → ~𝑠) es verdadera
    b) ~[(𝑟^~𝑞) → (~𝑝 → 𝑠)] es verdadera
    8. Simplificar
    a) 𝑞^(~𝑝 → ~𝑞)
    b) (~𝑝 → 𝑞)^ (𝑝 𝑣 ~𝑞)
    9. Obtener la proposición correspondiente al siguiente circuito, y simplificar:
    10. Demostrar G^F
    1) 𝐶 → 𝐵
    2) ~𝐷 → (𝐸^𝐹)
    3) 𝐴^~𝐵
    4) (𝐴^𝐸) → 𝐺
    5) 𝐶 𝑣 ~𝐷
    11. Demostrar la validez del siguiente razonamiento: “Si la ballena es un mamífero,
    entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no necesita
    branquias. La ballena es un mamífero y vive en el océano. Por lo tanto, habita en el
    océano y no necesita branquias
    12. Expresar las siguientes en forma simbólica y negarlas
    a) El cuadrado de todo número entero es mayor que 1
    b) Ningún cuento de hadas es una historia cierta
    c) Nadie es totalmente juicioso o totalmente estúpido

    También podría gustarte