PENSAMIENTO LOGICO-MATEMATICO

Momento intermedio - 2
RAFAEL RICARDO SIMANCA PALOMINO c.c. 1064791562
UNAD - Valledupar

TECNOLOGIA EN LOGISTICA INDUSTRIAL

18-10-2015

TABLA DE CONTENIDO

Contenido
INTRODUCCION.................................................................................................... 2
OBJETIVOS........................................................................................................... 3
PRIMER APORTE INDIVIDUAL:............................................................................... 4
SEGUNDO APORTE INDIVIDUAL............................................................................5
TERCER APORTE INDIVIDUAL............................................................................... 6
FASE GRUPAL....................................................................................................... 8

Leyes de la lgica proposicional (ley asociativa) .....................................................9

CONCLUSIN..................................................................................................... 10
BIBLIOGRAFIA................................................................................................... 11

INTRODUCCION
Mediante la elaboracin del presente taller seguiremos trabajando en la aplicacin de la
lgica matemtica en diferentes ejercicios, los cuales nos ayudaran al desarrollo de nuestra
forma de pensar y esto mismo nos conducir a ese camino que debemos caminar al
momento de darle determina solucin a un problema de cualquier empresa. Es importante
que nosotros como estudiantes comprendamos el concepto ampliamente de lgica porque
es esta una herramienta muy eficaz al momento para cada trabajador.

OBJETIVOS
Objetivo Especfico:
2

Entender ampliamente el concepto de lgica matemtica

Objetivos Generales:

Poder resolver diferentes ejercicios de aplicacin de lgica matemtica

Relacionarnos con los diferentes temas que abarcan el tema de estudio

PRIMER APORTE INDIVIDUAL

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos ejemplos

de alguna de las terminologas de la Lgica Proposicional (slo seleccionan una e informa
en el foro cual escogi, para que no sea escogida por otro integrante).
Tema escogido:
Tautologas, contradicciones y contingencias.
Solucin:
Tautologa: Una proposicin compuesta es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra
forma, su valor V no depende de los valores de verdad de las proposiciones que la forman,
sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea
el caso:

Contradiccin: Se entiende por proposicin contradictoria, o contradiccin, aquella

proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F.
Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones
que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas
con otras. Sea el caso:

Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposicin

que puede ser verdadera o falsa, (combinacin entre tautologa y contradiccin) segn los
valores de las proposiciones que la integran. Sea el caso:

SEGUNDO APORTE INDIVIDUAL

Planteamiento y resolucin (utilizando las operaciones necesarias y la representacin a
travs de las Tablas de Verdad) de uno de los siguientes problemas de Lgica Proposicional;
adems establecer si la correspondiente tabla es una Tautologa, Contradiccin o
Contingencia (slo selecciona uno e informa en el foro el seleccionado para que no sea
escogido por otro integrante)
Problema escogido:
Santiago es estudiante de primer periodo acadmico de la UNAD en el programa de
Ingeniera de Sistemas, y se le han dificultado los cursos de Matemticas, Santiago sabe
que eso tiene que ver con su formacin en el colegio y por su compromiso en el
bachillerato, entonces reflexiona el hecho de que para tener buenas notas debe ser
disciplinado y pensando en su hijo construye en su mente el siguiente pensamiento: No es
cierto que: si mi hijo Javier estudia, obtiene buenas calificaciones. Si no estudia, lo pasa
divertido en el colegio. Si no saca buena nota, no lo pasa bien en el colegio. As pues, mi
hijo Javier obtiene buenas calificaciones. De acuerdo al resultado en la tabla de verdad
justifique si el pensamiento de Santiago con relacin a su hijo es coherente o incoherente.
Debe evidenciar el uso del Simulador TRUTH en su aporte individual con relacin al
enunciado escogido; adjuntando un pantallazo de la validacin de la Tabla de Verdad.
Solucin:
r= mi hijo Javier estudia
q= obtiene buenas notas
s= la pasa divertido en el colegio

[(rq)(rs)(qs)]r

Segn la tabla de verdad

la expresin es coherente

TERCER APORTE INDIVIDUAL

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes
proposiciones categricas, y proponer una representacin mediante Diagramas de Venn de
las diferentes relaciones entre las clases implicadas, segn las proposiciones categricas:
Problema escogido:
Algunos docentes en Licenciados son de la Universidad UNAD.
Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciados
Solucin:
Algunos docentes en Licenciados son de la Universidad UNAD.
Todos los docentes de Matemticas son de la Universidad UNAD.
Por lo tanto = Algunos docentes de Matemticas no son docentes en Licenciados
S= Docentes en licenciados
P= Docentes en Matemticos
M= Son de la unad
E= Algunos docentes en Licenciados son de la Universidad UNAD.
A= Todos los docentes de Matemticas son de la Universidad UNAD.
E= Algunos docentes de Matemticas no son docentes en Licenciados

Algunos docentes en
Licenciados son de la
Universidad UNAD.

Todos los docentes de

Matemticas son de la
Universidad UNAD.

P
X

Algunos docentes de
Matemticas no son
docentes en Licenciados

La conclusin es valida
M

FASE GRUPAL
La segunda fase corresponde a la produccin intelectual que como grupo lleguen a
consolidar. La Fase Grupal est comprendida en dos momentos:
Si Zoraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de
una empresa de equipos tecnolgicos. Pero, no participar en la convocatoria laboral de una
empresa de equipos tecnolgicos, si Zoraida reprob el curso de Telemtica y no aprob el
curso de Micro controladores. Si Zoraida no reprob el curso de Telemtica o aprob el
curso de Micro controladores, entonces participar en la convocatoria laboral de una
empresa de equipos tecnolgicos. Por lo tanto, participar en la convocatoria laboral de una
empresa de equipos tecnolgicos si y solo si evidencia un promedio de 4,3 en todos sus
estudios.
Como Grupo Colaborativo deben evidenciar el uso del Simulador TRUTH tambin en esta
Fase Grupal con relacin al enunciado; adjuntando un pantallazo de la validacin de la
Tabla de Verdad.
Solucin:

[(q>r)&~(r>~s&~m)]>(r=q)

Zoraida participa si aprueba las

materias o si estudia ing.
electrnica

Leyes de la lgica proposicional

Ley asociativa: est definida como

Leyes asociativas
(p q) r p (q r)
(p q) r p (q r)
Ejemplo:

CONCLUSIN
Despus del estudio de los temas aqu planteados hemos comprendido que la aplicacin de
la lgica es muy extensa, que incluso en situaciones del diario vivir la lgica est presente
ayudndonos a solucionar diferentes problemas. Entender claramente su concepto y como
aplicarlo de forma correcta ser nuestra meta como estudiantes y futuros profesionales.

10

BIBLIOGRAFIA
www.angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-ycontingencia-2/
http://es.calameo.com/read/00007273582e28341b341
http://es.scribd.com/doc/37711859/Ejercicios-Resueltos-de-L-Gica#scribd

11