Trabajo Individual

Sustentación del curso: Tarea 4 - Sustentación Unidades 1, 2 o 3

Cindy Paola Bermúdez Vélez

POR:

Código: 1020784890

3208609442
Celular:

Grupo: 200611_41

TUTOR:
Arnol Ortiz Armero

Universidad Nacional Abierta y a Distancia

(UNAD)
Nilo
Psicología
28 de noviembre Del 2018
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.

c. 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?, ¿Cuántas usan Excel o Word, pero no Power
Point?, ¿Cuántas personas fueron encuestadas en total?

A partir de la situación que el estudiante haya seleccionado, el

estudiante deberá:

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

  Solucionar los interrogantes planteados.

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

31

 ¿Cuántas personas fueron encuestadas en total?

2+6+7 +4 +15+9+15=58
Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de esta ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

c. 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:

p: Un conjunto es una colección de objetos, símbolos o entidades bien

definidas
q: Una forma sencilla de visualizar los conjuntos es a través de
diagramas de Venn.

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural

[ ( p →q ) ⋀ ( p ∨q ) ⋀ ( ¬q ) ] → ( q )
Si un conjunto es una colección de objetos, símbolos o entidades bien
definidasentonces una forma sencilla de visualizar los conjuntos es a
través de diagramas de Venn, y si un conjunto es una colección de
objetos, símbolos o entidades bien definidaso una forma sencilla de
visualizar los conjuntos es a través de diagramas de Venn, y no es
cierto que una forma sencilla de visualizar los conjuntos es a través de
diagramas de Venn. Por lo tanto, una forma sencilla de visualizar los
conjuntos es a través de diagramas de Venn.

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

p q ¬q p →q p ∨q ( p →q ) ⋀ ( p ∨q
[ ( p)→q ) ⋀ ( p ∨q[ ( )p⋀→q
( ¬q ) ⋀] ( p ∨q ) ⋀ ( ¬q ) ] → ( q )

V V F V V V F V
V F V F V F F V
F V F V V V F V
F F V V F F F V

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico.
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Premisas:
P1: p →q
P2: p ∨q
P3: ¬ q

Conclusión: q

4. ¬ p Modus TollendoTollens premisa 1 y 3

5. q Silogismo disyuntivo premisa 2 y 4