UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Asignatura:
Lgica Matemtica
Programa Ciencias Bsicas
Escuela ECBTI
Grupo Colaborativo: 90004_143

Nombre del tema:

Aplicacin de la teora de conjuntos numricos
Trabajo Colaborativo 1

Presenta:
Deiby Leandro Alvarado Rodrguez

Docente:
Lic. Georffrey Acevedo

Colombia, Ciudad Sogamoso (Boyac)

Marzo, 21 de 2015

Tarea 2. Aplicacin de la teora de conjuntos.

Construir un trabajo grupal sobre un problema propuesto. Cada estudiante
revisara individualmente los temas de la teora de conjuntos para dar solucin al
problema que a continuacin se plantea, y posteriormente, en conjunto con s
equipo construir un trabajo sobre la solucin propuesta producto de los aportes
sustentados y mejorados con las contrapropuestas que se den en el foro.
Los comentarios deben llevar una argumentacin valida y estar enmarcados en
otros documentos debidamente referenciados.
El problema a desarrollar en la tarea 2 es el siguiente:
Considera el siguiente diagrama de Venn y contesta los diferentes literales.

Literales a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos:
1
b) Cuales estudiantes de filosofa son platnicos:
Diego, Marcela y Silvia
c) Cuales estudiantes de filosofa son Aristotlicos:
Ana y Silvia
d) Cuales estudiantes de filosofa no son Aristotlicos:
Diego, Marcela, Carlos y Camilo
e) Cuales estudiantes de filosofa no son Plantnicos:

Ana, Carlos y Camilo

f) Cuales estudiantes son Platnicos o Aristotlicos:
Diego, Marcela y Diana
g) Cuales estudiantes son Platnicos y Aristotlicos:
Silvia
h) Cuales estudiantes son Platnicos pero no son Aristotlicos:
Diego y Marcela
i) Cuales estudiantes son Aristotlicos pero no son Platnicos:
Ana
j) Cuales estudiantes no siguen ninguna corriente filosfica:
Carlos y Camilo
k) Cuales estudiantes siguen al menos una corriente Filosfica:
Diego, Marcela y Ana
l) Cuales estudiantes siguen por lo menos una corriente filosfica: Diego,
Marcela, Silvia y Ana
m) Cuales estudiantes siguen dos corrientes filosficas:
Silvia
n) Cuales estudiantes siguen solo una corriente filosfica:
Diego, Marcela y Ana
o) Cuantos estudiantes siguen ms de dos corrientes filosficas:
Ninguno
La solucin de la tarea debe cubrir dos (2) cuartillas del informe final.

Tarea 3. Aplicacin de la teora de conjuntos:

Construir un trabajo grupal sobre proposiciones y conectivos
lgicos. Cada estudiante revisara individualmente los temas de
proposiciones y conectivos lgicos para dar solucin a los ejercicios

propuestos, y posteriormente, en conjunto con su equipo construir

un trabajo sobre la solucin propuesta producto de los aportes
sustentados y mejorados con las contrapropuestas que se den el
foro.
Los comentarios deben llevar una argumentacin valida y de ser
necesario estar enmarcados en otros documentos debidamente
referenciados.
El problema a desarrollar en la tarea 3 es el siguiente:
El ejercicio consiste en transformar expresiones dadas en lenguaje
natural al lenguaje simblico, y posteriormente, construir la
correspondiente tabla de verdad. Miremos el ejemplo propuesto por
Alfredo de ao (1974) de un fragmento de Kafka:
Ese lapso, corto quizs si se le mide por el calendario, es
interminablemente largo cuando, como yo, se ha golpeado a travs
de l
El anlisis lgico de esta expresin es el siguiente:
(p -> q) ^ (r -> -q) es decir, la expresin equivalente en la que se
evidencian los conectivos lgicos es:
Si se le mide por el calendario, entonces ese lapso de tiempo es
corto, y si se ha galopado, como yo, a travs de l, entonces es
irremediantemente largo.
Ejercicios a resolver:
a) Bien pensado, no hay porque ser bien pensante.
Bien pensado, ENTONCES no hay por qu ser bien pensante.
p. Bien pensado
q. Bien pensante
pq

b) En caso de que sople el viento, si y solo si podremos navegar

a vela.
En caso de que sople el viento, SI Y SOLO SI podremos
navegar a vela
p. Sople el viento
q. Navegar a vela
p q

c) Si
alguien
describe
disculprsele todo.
Si alguien escribe
disculprsele todo

como

Borges,

entonces

puede

como

Borgues,

ENTONCES

puede

p. Si escribe como Borgues

q. Puede disculprsele todo

pq

d) La vida es larga si es plena; y se hace plena cuando el alma

ha recuperado la posesin de su bien propio y ha transferido
a si el dominio de s misma (Seneca).
La vida es larga SI es plena; Y se hace plena cuando el alma ha
recuperado la posesin de su bien propio Y ha transferido as el
dominio de s misma.
p. La vida es larga
q. Es plena
r. Cuando el alma ha recuperado la posesin de su bien propio
s. Transferido as el dominio de s misma
(p q)^[(r^s) q]


La solucin de esta tarea debe contener las siguientes etapas:
a) Expresin en lenguaje natural en la que se evidencien los
conectivos lgicos.
b) Declaracin de las premisas.
c) Expresin en lenguaje natural.
d) Tabla de verdad.
La solucin de la tarea debe cubrir mnimo dos (2) cuartillas del
informe final.