Evaluación de la unidad e Lógica e Inducción.

Lea cuidadosamente cada instrucción y realice lo que se solicita.

Para cada planteamiento desarrollar la solución teniendo cuidado en establecer cada paso
necesario para llegar a su solución.
La actividad la realizan en equipo, pero la entrega de la actividad es individual. Para ello, juntar
cada una de las hojas que utilice para dar solución a cada planteamiento y guardarlo
en un archivo pdf y adjuntar este en la entrega de la actividad.
Colocar una portada indicando los nombres de cada integrante que participo en el desarrollo
de la actividad.
Sesionar en su canal respectivo el trabajo en equipo dejando como evidencia el archivo de
grabación de cada vez que interaccionen como equipo, en su canal respectivo de
teams.
No se aceptarán entregas fuera de tiempo ni fuera del lugar donde se pide la entrega de esta.

I. Simbolizar los siguientes enunciados, identificando las proposiciones atómicas que los
conforman.
1. El programa corre, si y solo si no tiene errores de compilación. Si no tiene errores
de lógica y no tiene errores de compilación, entonces el programa está bien y los
resultados son satisfactorios. Por lo tanto, si tiene errores de compilación o tiene
errores de lógica, entonces el programa no corre y los resultados no son
satisfactorios.
2. Si tengo conocimientos de computación y dominio el inglés, entonces no tendré
problemas para encontrar trabajo. Si tengo problemas para encontrara trabajo,
entonces tengo más de 40 años o no me preparé lo suficiente. Por lo tanto, si me
preparo lo suficiente y no tengo más de cuarenta años y dominó el inglés, entonces
no tendré problemas para encontrar trabajo.
II. Elabora la tabla de verdad de las siguientes proposiciones.
1. [(𝑝 → 𝑞′) ↔ (𝑞 ∨ 𝑟 ∧ 𝑝′)] ↔ [(𝑞 → 𝑝)′ → 𝑟]
2. [𝑝 ∨ (𝑟 → 𝑠′)] ↔ [(𝑝′ ∧ 𝑠)′ → 𝑟′]
3. 𝑝 ↔ 𝑞′ ∨ 𝑟 → 𝑝′ → 𝑞 ∧ (𝑝 ∨ 𝑞 → 𝑝′)
III. Demostrar que las formulas siguientes son equivalentes utilizando las leyes de
equivalencia de la lógica proposicional.
1. [(𝑝 → 𝑟) ∧ (𝑞 → 𝑟)] ≡ [(𝑝 ∧ 𝑞) → 𝑟]
2. [(𝑝 ∨ 𝑠) → (𝑞 ∧ 𝑝 ∨ 𝑠′)] ≡ [(𝑞 ∧ 𝑝 ∨ 𝑠 ′ )′ → (𝑝 ∨ 𝑠)′]
IV. Validar los siguientes argumentos, identificando y simbolizando de forma correcta las
proposiciones atómicas, las primicias, la consecuencia y estableciendo el argumento.
1. Si se ha realizado un buen diseño de la base de datos y se hace una buena
programación, entonces se accesa rápidamente la información. Si no se hace buena
programación, entonces toma mucho tiempo corregir el programa. Por lo tanto, si
no se accesa rápidamente la información y toma poco tiempo corregir el programa,
entonces no se ha realizado un buen diseño de la base de datos.
2. Si estudio electrónica, entonces realizaré investigación en sistemas digitales. Si
estudio informática, entonces manejaré la información de una empresa. Si realizo
investigaciones en sistemas digitales o manejo la información de una empresa,
 entonces, estaré feliz. Por tanto, si no estoy feliz, entonces no estudié electrónica y
no estudié informática.
V. Representar con notación lógica cada uno de los siguientes enunciados, dada la
definición del conjunto 𝑈.
1. Sea 𝑈 = {𝑥, 𝑦|𝑥, 𝑦 ∈ ℝ}; 𝑝(𝑥, 𝑦): 𝑥 ≤ 𝑦; 𝑞: 𝑥 − 𝑦 = 1; 𝑟: 𝑥 2 + 𝑦 2 = 1
a. Existen algunas 𝑥 que para toda 𝑦 tal que 𝑥 2 + 𝑦 2 = 1 y 𝑥 > 𝑦 o 𝑥 − 𝑦 = 1.
b. Si para toda 𝑥 y para toda 𝑦 tal que 𝑥 > 𝑦 y si para alguna 𝑥 𝑥 ≤ 𝑦, entonces
𝑥 2 + 𝑦 2 = 1.
c. Si para toda 𝑥 existe alguna 𝑦 tal que si 𝑥 ≤ 𝑦 entonces para alguna 𝑦 existe
alguna 𝑥 tal que 𝑥 − 𝑦 ≠ 1 o 𝑥 2 + 𝑦 2 = 1.
VI. Validar cada uno de los incisos del ejercicio V.
VII. Investigar y anotar que es la inducción matemática, así como su procedimiento
general.
VIII. Aplicar los procesos de inducción investigados y demostrar, para 𝑛 ∈ ℕ, que:
1. 3 + 6 + 20 +⋅⋅⋅ +[𝑛 (𝑛!) + 2] = (𝑛 + 1)! + 2𝑛 − 1
𝑎 𝑎2 𝑎3 𝑎4 𝑎𝑛 (𝑎 𝑛+1−1)
2. 2
+ 2
+ 2
+ 2
+⋅⋅⋅ + 2
= 2(𝑎−1)
para 𝑎𝜖ℝ; 𝑎 ≠ 0; 𝑎 ≠ 1

Evaluación.

20% Evidencia de trabajo en equipo

70% Solución correcta y desarrollada de los planteamientos solicitados

10% El punto de investigación solicitado.