Ingeneria

Solo disponible en BuenasTareas
  • Páginas : 3 (748 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de mayo de 2010
Leer documento completo
Vista previa del texto
U N I V E R S I D A D DE L D E S A R O L LO

E MP R E S A R I A L Y P E D A G Ó G I C O INGENIERÍA EN SISTEMAS COMPUTACIONALES
NOMBRE DE LA ASIGNATURA O UNIDAD DE APRENDIZAJE

P R O G R AM AC IÓ N F U N C I O N AL / L Ó G I C A

CICLO

CLAVE ASIGNATURA

QUINTO CUATRIMESTRE

SC-0528

OBJETIVO GENERAL DE LA ASIGNATURA

Al finalizar el curso el alumno aplicará las bases de la lógicamatemática enfocada a la teoría de conjuntos, lo cuál le permitirá conocer y aprender los principios teóricos, las técnicas fundamentales de la programación funcional y su aplicación en las cienciasde la computación.

TEMAS Y SUBTEMAS 1. LÓGICA PROPOSICIONAL.

Guía de ejercicios para primer parcial. 1.- Escriba en forma simbólica los siguientes enunciados a) Si las exportaciones disminuyenentonces bajarán las utilidades b) Los precios son altos si y sólo sí los costos aumentan c) Si la producción aumenta entonces bajarán los precios d) Si aumenta la demanda esto implica que aumenta laoferta y viceversa e) Si la contaminación aumenta entonces existirá restricción vehicular

Profesor: M. en C. Alejandro Soto Ramos

GUÍA DE ESTUDIO LÓGICA

FEBRERO 2010

2.- ¿ Qué condicionesdebe satisfacer p y q para que la siguiente proposición sea : a) [ ( q ⇔ p ) ∧ ∼ q ] ⇒ ( p ∧ ∼ q ) Falsa b) [ (∼ p ⇒ q ) ⇒∼ r ] v [ ∼ q ⇒ r ] Falsa c) { ~p ∧ ( p v q ) } ∧ [ p ⇔ q ] Verdadera 3.- Seanp, q, r, tres proposiciones tales que r es falsa, p ⇔ ∼ q y q ⇒ r son verdaderas, deducir el valor de verdad de p. 4.- Cuál de las siguientes expresiones son lógicamente equivalentes a (∼ p v ∼ q ) ∧r a) p ⇒ ( ∼ q ∧ r ) b) ( p ⇒ q ) ∧ r c) ( p ⇒ ∼ q ) ∧ r d) p ⇒ ( q v r ) 5.- Si la proposición p es verdadera y la proposición q es falsa , entonces de las siguientes afirmaciones es (son) correcta( s ): I p ⇒ q es una proposición verdadera II p ⇔ q es una proposición falsa III ∼p v q es una proposición verdadera 6.- La negación de la proposición p v q es : I ∼p v q II ∼p ∧ ∼q III ∼p v ∼q...
tracking img