Pequea Coleccin de ejercicios Lgica y algoritmos

Nota 1: Los que no fueron a la ltima clase deben estudiar (COMO SE ORIENT) el ltimo tema de Demostraciones, Refutaciones y Equivalencias del clculo de Predicados. Esta temtica se incluye en el contenido de la prueba. 1. Traduzca las siguientes frases a la Lgica de Proposiciones a. Los hackers son usuarios muy avanzados que por su elevado nivel de conocimientos tcnicos son capaces de superar determinadas medidas de proteccin, pero las consecuencias de sus actos pueden causar daos irreparables. b. El primer largometraje cubano, "Manuel Garca, rey de los campos de Cuba", se realiz en 1913 o su autor no es Toms Gutirrez Alea. c. Permiten las tcnicas de firma electrnica autentificar los datos enviados de forma que se pueda garantizar la procedencia de los mismos?. d. Proponga una solucin que consiga el mate en dos jugadas a partir de la situacin actual del tablero de ajedrez. e. Jos Lezama Lima, su obra potica no es de corte barroco. f. El cifrado se utiliza en comercio electrnico y en transacciones bancarias por Internet g. Solo si el escritorio est limpio se pondr la computadora y se efectuar la exhibicin h. Cuando se hayan dado las herramientas de algoritmizacin y la introduccin a la programacin, los alumnos estarn listos para presentar su primer proyecto i. Es suficiente y necesario que el nmero sea par para que sea divisible por dos j. Si se tienen datos de un problema y se quiere automatizar la obtencin de resultados entonces se necesitan una computadora, un lenguaje de programacin y un informtico. k. No se tienen conocimientos consolidados cuando no se han tenido dudas 2. Determine si la siguiente estructura deductiva es correcta A) P1: Si tengo fiebre estoy enfermo P2: Si estoy enfermo no puedo ir a trabajar P3: Tengo fiebre Q1: Voy a trabajar Se sabe que cuando un programa es correctamente elaborado, el programa ejecuta bien. Ha ocurrido que un programa no ejecuta bien, por lo que se puede asegurar que ese programa no fue correctamente elaborado.

B)

3. a. b. c. d.

Diga si estamos en presencia de una tautologa, contingencia o contradiccin p ( q p) q (r -q) A ( (A )) p ( q p q)

4. Diga si las siguientes proposiciones compuestas son equivalentes i. A: -(p q) B: -p -q ii. A: -(p q) B: -p -q iii. A: - - p B: p iv. A: p (q r) B: (p q) (p r) v. A: p (q r) B: (p q) (p r) vi. A: p q B: q p vii. A: (p q r) s B: (p q) (r s) viii. A: (p q) (r s) B: p (q (r s) 5. Formalice las siguientes expresiones en el clculo de predicados siempre que sea posible. a) Si un estudiante asiste a clases y estudia a conciencia aprobar. b) g) c) h) d) i) Son muchos los latinoamericanos que simpatizan con Silvio y Pablo. En un sof algunos se sienten cmodos y otros no. Si todos vamos a Varadero, todos no cabemos en el mnibus.

e) j) A todos los nios le gustan los dulces, a algunos hombres la cerveza y a algunas mujeres el helado. f) Si todos los estudiantes del colectivo estudian y asisten a clases entonces aprobarn 6. Demuestre o refute: A) Siempre que se lanza un sistema operativo al mercado primero se prueba con una versin beta. B) Algunos de los sistemas operativos se han comenzado a vender al ao siguiente de la versin anterior Dominio: {Windows 3.1 (1990), Windows 98(1997), Windows NT.4 (1999), Windows 2000 (2000)} Nota: Se lanzaron con versin Beta Windows 95, el Windows 98 y Windows 2000