LGICA MATEMTICA

Trabajo Colaborativo 1

Por:
Daniel David Echeverra Crespo
Cdigo: 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 3
a) Bien pensado, no hay problema de ser bien pensante
Bien pensado, no hay problema de ser bien pensante
Tabla de Verdad:
p = Bien pensado
q = hay problema de ser bien pensante.
p q
V F F V
V V V F
F V F V
F V V F
b) En caso de que sople el viento, podremos navegar a vela.
si sopla el viento, entonces podremos navegar a vela
Tabla de Verdad:
p = Sople el viento

q = podremos navegar
p
V
V
F
F

F
V
V
V

q
V
F
V
F

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 Borges
q = puede disculprsele todo.
p
V
V
F
F

F
V
V
V

q
V
F
V
F

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 Verdad
p = La vida es larga
q = es plena
r = el alma ha recuperado la posesin de su bien propio
s = ha transferido a s el dominio de s misma
[(p
V
V
V
V
V
V
V
V
F
F
F
F
F
F

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

q)
V
V
V
V
F
F
F
F
V
V
V
V
F
F

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

q)]
V
V
V
V
F
F
F
F
V
V
V
V
F
F

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

(r
V
V
F
F
V
V
F
F
V
V
F
F
V
V

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

s)
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F

V
V

F
F

F
F

F
F

V
V

F
F

F
F

V
F

Tarea 5. Inferencias Lgicas

Construir 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 5
a) Identifica las proposiciones simples y declralas (Asigna letras como p,
q,..)
p
q
r
s
t
u
z

= la mercanca llega
= la maquinaria funciona
= incumplimos
= entregamos a tiempo
= conservamos el cliente
= el cliente paga
= todos reciben su dinero

b) Identifica las premisas del problema.

1) (p q) r
2) (s t) u
3) u z
4) 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.