TAREA 4 - SUSTENTACIÓN UNIDADES 1, 2 Y 3

MILADY YISETH AREVALO

COD:1115736511

CURSO 1277

TUTOR: CARLOS EDUARDO OTERO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LÓGICO Y MATEMÁTICO

2020
Actividades a desarrollar

La tarea de esta unidad se compone de una serie de ejercicios que se

describen a continuación:

Ejercicio 1: Aplicación de la Teoría de Conjuntos

LA SELECCION

a. Se realizó una encuesta los estudiantes de Lógica Matemática, a

acerca de sus preferencias en el uso de las redes sociales y se
-obtuvieron los siguientes resultados:
 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren Facebook y twitter,
 2 prefieren Instragram y Facebook
 4 prefieren Instagram y twitter,
 4 no tiene preferencia por ninguna red social
A partir de la situación planteada dar respuesta las siguientes
preguntas:

 ¿Cuántos estudiantes prefieren únicamente Instagram?

RTA: 6 estudiantes prefieren únicamente Instagram
 ¿Cuántos estudiantes prefieren únicamente twitter?
RTA: 13 estudiantes prefieren únicamente twitter
 ¿Cuántos estudiantes prefieren Instagram y Facebook?
RTA:56 estudiantes prefieren Instagram y Facebook
 ¿Cuántos estudiantes fueron encuestados?
RTA: 117 estudiantes fueron encuestados
Ejercicio 2: Métodos para probar la validez de un argumento

Expresión simbólica: [ ( p →q ) ∧ ( q → r ) ⋀ ( ¬r ) ] → ( ¬ p )

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

Conclusión: ¬ p

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
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante
  Generar una tabla de verdad con el simulador Lóg

p q r ((p→q)∧(q→r)∧(~r))→(~p)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

 Generar una tabla de verdad manualmente a partir del lenguaje

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

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica.
No se puede demostrar ya que es una tabla de verdad de
contingencia, porque el resultado que me dio solo uno me dio un
resultado diferente