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
 6

Representar la información dada en un diagrama de Venn Euler.

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

 7

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: [ ( p → q ) ⋀ ( p∨ q ) ⋀ ( ¬q ) ] → ( q )
Premisas:

P1: p→ q

P2: p∨ q

P3: ¬q

Conclusión: q

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.

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
 8

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: p→ q P2: p∨ q

P2: p P3: ¬q

Conclusión: q Conclusión: q