UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Asignatura:

Lgica MatemticaPrograma Ciencias BsicasEscuela ECBTI

Grupo Colaborativo: 90004_143Nombre del tema:

Aplicacin de la teora de conjuntos numricosTrabajo Colaborativo 1

Presenta:

Deiby Leandro Alvarado Rodrguez

Docente:

Lic. Georffrey AcevedoColombia, Ciudad Sogamoso (Boyac)

Marzo, 21 de 2015Tarea 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:

1b) Cuales estudiantes de filosofa son platnicos:

Diego, Marcela y Silviac) Cuales estudiantes de filosofa son Aristotlicos:

Ana y Silviad) Cuales estudiantes de filosofa no son Aristotlicos:

Diego, Marcela, Carlos y Camiloe) Cuales estudiantes de filosofa no son Plantnicos:

Ana, Carlos y Camilof) Cuales estudiantes son Platnicos o Aristotlicos:

Diego, Marcela y Diana g) Cuales estudiantes son Platnicos y Aristotlicos:

Silviah) Cuales estudiantes son Platnicos pero no son Aristotlicos:

Diego y Marcelai) Cuales estudiantes son Aristotlicos pero no son Platnicos:

Anaj) Cuales estudiantes no siguen ninguna corriente filosfica:

Carlos y Camilok) Cuales estudiantes siguen al menos una corriente Filosfica:

Diego, Marcela y Anal) Cuales estudiantes siguen por lo menos una corriente filosfica: Diego, Marcela, Silvia y Anam) Cuales estudiantes siguen dos corrientes filosficas:

Silvian) Cuales estudiantes siguen solo una corriente filosfica:

Diego, Marcela y Anao) Cuantos estudiantes siguen ms de dos corrientes filosficas: NingunoLa 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 pensadoq. Bien pensante

p ( q

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 vientoq. Navegar a vela

p (( q c) Si alguien describe como Borges, entonces puede disculprsele todo.

Si alguien escribe como Borgues, ENTONCES puede disculprsele todo p. Si escribe como Borguesq. Puede disculprsele todo

p ( q 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 largaq. 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.