Jerikson_acero_90004_658.docx

Taller de Reconocimiento Jerikson Andrey Acero Ruiz Universidad Nacional Abierta y a Distancia (UNAD)

Notas del Autor Jerikson Andrey Acero Ruiz, Ingeniería de Sistemas, UNAD La Correspondencia Relacionada con este Taller va Dirigido al Tutor Ricardo Alberto Bedoya Orjuela Universidad Nacional Abierta y a Distancia, Asociación de Amigos Cra30a n°10-68 Contacto: [email protected]

Introducción.

Desarrollo.

5

Temáticas a Desarrollar. Ejercicio 1: Aplicación de la Teoría de Conjuntos Descripción del ejercicio: A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán ser analizadas por el estudiante para el desarrollo del ejercicio 1 Se aplica una encuesta a diferentes usuarios de office 2010, sobre el uso de los programas que le componen, obteniendo la siguiente información: 27 usan Power Point, 37 usan Word, 43 usan Excel, 21 usan Power Point y Word, 24 usan Word y Excel, 19 usan Power Point y Excel, 15 usan los tres programas. ¿Cuántos usan solo Power Point?,27 ¿Cuántas usan Excel o Word, pero no Power Point?,104¿Cuántas personas fueron encuestadas en total?186 U: usuarios de office 2010 A: power point =82 B: Word =87 C: exel =101 Representar la información dada en un diagrama de Venn Euler.

6

Solucionar los interrogantes planteados. 

¿Cuántos usan solo Power Point?=27



¿Cuántas usan Excel o Word, pero no Power Point?=104



¿Cuántas personas fueron encuestadas en total?186

Ejercicio 2: Métodos para probar la validez de un argumento Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 2: Expresión simbólica: [(𝑝 → 𝑞)⋀(𝑝 ∨ 𝑞)⋀(¬𝑞)] → (𝑞) Premisas: P1: 𝑝 → 𝑞 P2: 𝑝 ∨ 𝑞 P3: ¬𝑞

Conclusión: 𝒒 A partir de la expresión simbólica seleccionada, el estudiante deberá: Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo: p: Andrey trabaja en una carpintería q: la carpintería es del papa Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

7

Andrey trabaja en una carpintería, entonces la carpintería es del papa, y Andrey trabaja en una carpintería o la carpintería es del papa y no la carpintería no es del papa, entonces la carpintería es del papa. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

Demostración de la validez del argumento mediante las leyes de la inferencia lógica Modus ponens

modus tollendo ponens

P1: 𝑝 → 𝑞

P2: 𝑝 ∨ 𝑞

P2: p

P3: ¬𝑞

Conclusión: q

Conclusión: 𝑞