UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291

TRABAJO ETAPA2 GRUPAL

RAFAEL ENRIQUE SOLIS GOMEZ

CODIGO 9531726

OSCAR EDUARDO ESPINOSA OSORIO

CODIGO 18521928

Tutor: Elizabeth Puentes Montao

Universidad Abierta y a Distancia UNAD.

Jos Acevedo y Gmez.
LGICA MATEMTICA
2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
Objetivos:
1. Comprender los conceptos de tabla de verdad y sus operaciones
2. Comprender y analizar problemas lgicos que impliquen el uso de proposiciones
compuestas y tablas de verdad
3. Comprender el concepto de Silogismo y su representacin grafica con diagramas de
Venn.
4. Desarrollar los ejercicios propuestos

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
Para todos es preocupante la situacin econmica actual que vivimos y que
infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona
acerca de su proceder con su propia economa y su esposo reflexiona lo siguiente:
Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra
universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se
desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho
dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que expresa el
esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de lo
que comenta el esposo de Clemencia, si es tautologa es afirmativo el comentario, si da
contradiccin hay falsedad en lo expresado, y si da contingencia, es porque hace falta
informacin para tener asertividad del comentario hecho.

[(p q) (r s) (p t )] t

Introduccin:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291

El papel de la lgica ha sido concebido tan diversamente que para algunos se confunde con
la psicologa y para otros con la metafsica. Segn los estoicos la lgica se ocupa del
clculo de signos que expresan proposiciones. Los signos pueden ser hablados o escritos en
particular son palabras o nombres.
La lgica es la ciencia que estudia el razonamiento, donde razonar consiste en obtener
afirmaciones (llamadas conclusiones) a partir de otras afirmaciones (llamadas premisas)
con los criterios adecuados para que podamos tener la garanta de que, si las premisas son
verdaderas, entonces las conclusiones obtenidas tambin tienen que serlo necesariamente.

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
Para todos es preocupante la situacin econmica actual que vivimos y que
infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona
acerca de su proceder con su propia economa y su esposo reflexiona lo siguiente:
Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra
universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se
desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho
dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que expresa el
esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de lo
que comenta el esposo de Clemencia, si es tautologa es afirmativo el comentario, si da
contradiccin hay falsedad en lo expresado, y si da contingencia, es porque hace falta
informacin para tener asertividad del comentario hecho.

[(p q) (r s) (p t )] t

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291

( p q)

(r v s)

(p t )

( p q) (r v s)

[( p q) (r v s) (p t )]

[( p q) (r v s) (p t )] t

V V V V V

V V V V

V V V

V V V

V V

V V

V V

V V

V V

V V V

V V

V V

V V V V

V V V

V V

V V

V V

V V V

V V

V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
El resultado final de la expresin lgica es Tautologa por lo tanto, lo que expresa el
esposo de clemencia es verdadero.
En el simulador TRUTH se obtiene el mismo resultado.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
Refrencias:
- (2016). Retrieved 30 October 2016, from
https://www.uv.es/ivorra/Libros/Logica2.pdf
-Villalpando Becerra, J. (2016-04-27). Lgica y clculo Proposicional.
Recuperado de http://hdl.handle.net/10596/6551
- Chvez Caldern, P. (2016-04-27). Lgica Simblica. Recuperado de
http://hdl.handle.net/10596/6552
- Gonzles Tamara, L. (2016-05-03). Lgica. Recuperado de
http://hdl.handle.net/10596/6541

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
200611A_291
Conclusiones:
1. Se comprob mediante la solucin de la situacin problemica, el uso de
las leyes de la lgica matemtica
2. Al realizar la solucin problemica, se interiorizo la forma analtica para
convertir las proposiciones compuestas en expresiones lgicas.