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: jeriksona@gmail.com
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: 𝑞