Logica Proporcional

UNIVERSIDAD TECNOLÓGICA EQUINOCCIAL
EVALUACIÓN DE MATEMÁTICA SUPERIOR CURSO : “1B” INGENIERÍA AUTOMOTRÍZ NOMBRE : FECHA : NOTA : COLUMNA 1

PROFESOR : MSc. LUIS ALBERTO PUGA PEÑA

INSTRUCCIONES:UTILIZANDO LOS CONOCIMIENTOS ADQUIRIDOS EN LA UNIDAD DE LÓGICA PROPOSICIONAL, ESCRIBA LAS RESPUESTAS A LAS SIGUIENTES PREGUNTAS, (UTILICE UNA HOJA ADICIONAL) VALORACIÓN: 1 punto c/u.

1. Construyala tabla de valores de verdad de la siguiente proposición. ( p ↔ q ) ∨ ( p → r )  → ( ∼ q ∧ p )   2. ¿Para qué valores de p, q y r la siguiente proposición es verdadera? ( ∼ p ∧ ∼ p ) →  ∼ ( p ∨q ) ∧ ∼ r   

3. Sean las siguientes proposiciones: p: soy listo y q: soy rico; forme la proposición condicional y determine las
proposiciones: recíproca, inversa y contrarecíproca.

4.Demostrar si la siguientes formas proposicionales son lógicamente equivalentes: ∼ ( p ∧ q ) ∧ ∼ r  ⇔ ∼  ( ∼ p ∧ ∼ q ) ∧ ( p ∨ r )     

5. Explique cuando una forma proposicional es unatautología, contradicción y contingencia, a continuación,
empleando las propiedades del algebra proposicional, determine si la siguiente forma proposicional es una tautología, contradicción o contingencia. ( p∨ q ) → [ p ∨ (∼ p ∧ q)]

6. Simplifique aplicando las leyes del álgebra proposicional ∼  ∼ ( p ∧ q ) →∼ q  ∨ p luego, compruebe si la  
simplificación es correcta.

7. Si ( p ∨ q) ↔ ( r ∧ s )es una proposición verdadera, teniendo r y s valores de verdad opuestos. Determine si es
correcto que el valor de verdad de:  ∼ ( p ∨ q ) ∧ ( r ∨ s )  ∨ ( ∼ p ∧ q ) sea falso.  

8. Realice unaexplicación de todo lo referente a las funciones proposicionales y los cuantificadores.
SI HA TERMINADO SU EVALUACIÓN, NO OLVIDE REVISARLA CUIDADOSAMENTE

UNIVERSIDAD TECNOLÓGICA EQUINOCCIALEVALUACIÓN DE MATEMÁTICA SUPERIOR CURSO : “1B” INGENIERÍA AUTOMOTRÍZ NOMBRE : FECHA : NOTA : COLUMNA 2

PROFESOR : MSc. LUIS ALBERTO PUGA PEÑA

INSTRUCCIONES: UTILIZANDO LOS CONOCIMIENTOS...