LGICA MATEMTICA Trabajo Colaborativo 1

Por: Daniel David Echeverra CrespoCdigo: 1112460594

Tutor: Javier Francisco Mateus

Cdigo del Curso:90004A_465

Punto 3.Construir un trabajo grupal sobre las proposiciones y conectivos lgicos. Cada estudiante revisar 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 en el foro.

Los comentarios deben llevar una argumentacin vlida y de ser necesario enmarcados en otros documentos debidamente referenciados.

El Problema a desarrollar en el 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 e ejemplo propuesto por Alfredo De ao (1974) de un fragmento de Kafka:

Ese lapso, corto quiz si se le mide por el calendario, es interminablemente largo cuando, como yo, se ha galopado a travs de l El anlisis lgico 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 candelario, entonces ese lapso de tiempo es corto, y si se ha galopado, como yo, a travs de l, entonces es irremediablemente largo.

Ejercicios a resolver:a) Bien pensado, no hay por qu ser bien pensante.b) En caso de que sople el viento, podremos navegar a vela. c) Si alguien escribe como Borges, entonces puede disculprsele todo.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 s el dominio de s misma (Sneca).

DESARROLLO TAREA 3a) Bien pensado, no hay problema de ser bien pensanteBien pensado, no hay problema de ser bien pensanteTabla de Verdad:p = Bien pensadoq = hay problema de ser bien pensante.pq

VFFV

VVVF

FVFV

FVVF

b) En caso de que sople el viento, podremos navegar a vela.si sopla el viento, entonces podremos navegar a velaTabla de Verdad:

p = Sople el vientoq = podremos navegar

pq

VFV

VVF

FVV

FVF

c) Si alguien escribe como Borges, entonces puede disculprsele todo.Si alguien escribe como Borges, entonces puede disculprsele todo.

Tabla de Verdad:

p = alguien escribe como Borgesq = puede disculprsele todo.

pq

VFV

VVF

FVV

FVF

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 s el dominio de s misma (Sneca).La vida es larga si, entonces es plena; y se hace plena cuando el alma ha recuperado la posesin de su bien propio y ha transferido a s el dominio de s misma (Sneca).Tabla de Verdadp = La vida es largaq = es plenar = el alma ha recuperado la posesin de su bien propios = ha transferido a s el dominio de s misma

[(pq)q)](rs)

VVVVVVVVV

VVVVVFVFF

VVVVVFFFV

VVVVVFFFF

VFFFFVVVV

VFFFFVVFF

VFFFFVFFV

VFFFFVFFF

FVVVVVVVV

FVVVVFVFF

FVVVVFFFV

FVVVVFFFF

FVFFFVVVV

FVFFFVVFF

FVFFFVFFV

FVFFFVFFF

Tarea 5. Inferencias LgicasConstruir un trabajo grupal de aplicacin al tema de inferencias lgicas. Cada estudiante revisar individualmente el ejercicio propuesto y los temas de inferencia para dar solucin al problema que a continuacin se plantea, 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 en el foro. Los comentarios deben llevar una argumentacin vlida y de ser necesario estar enmarcados en otros documentos debidamente referenciados.

El problema a desarrollar en la tarea 5 es el siguiente: Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo conservamos el cliente y el cliente paga. Si el cliente paga todos reciben su dinero. Incumplimos, Qu puede concluirse sobre recibir el dinero? Para esta tarea el equipo debe entregar las siguientes etapas:

a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..) b) Identifica las premisas del problema. c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se pide en el problema. Para resolver este ejercicio debes estudiar las leyes de inferencia. La solucin de la tarea 5 debe cubrir una (1) cuartilla del informe final.

DESARROLLO TAREA 5a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..)

p = la mercanca llegaq = la maquinaria funcionar = incumplimoss = entregamos a tiempot = conservamos el clienteu = el cliente pagaz = todos reciben su dinero

b) Identifica las premisas del problema.

1) (p q) r2) (s t) u3) u z4) r c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se pide en el problema. Para resolver este ejercicio debes estudiar las leyes de inferencia. La solucin de la tarea 5 debe cubrir una (1) cuartilla del informe final.

La conclusin no se puede demostrar por mtodo directo (de una proposicin t (teorema), es un conjunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como consecuencia inmediata.), puesto que no se puede demostrar la conclusin por medio de la utilizacin de las leyes de inferencia, por esta razn se demostrar la proposicin por medio del mtodo indirecto (Se establece la validez de la tesis probando que las consecuencias de su contraria son falsas). Respuesta: La conclusin es no se recibe el dinero (z), porque las premisas p y q afirman lo que pasa si todo funciona bien, no incumplimos (r), por lo tanto, si no se entrega a tiempo, ni conservamos el cliente, entonces, el cliente no paga y todos no reciben el dinero.