INTRODUCCION

El siguiente trabajo tiene como objetivo sumergirnos en el mundo de la lgica

matemtica, algo de lo que a diario hacemos uso sin darnos cuenta, es interesante
retomar los conceptos que nos ayudan a estructurar de una manera muy particular las
proposiciones, la aplicacin de los enunciados las tablas de verdad entre otros.
La base de este trabajo es Aprender el uso de simuladores de tablas de verdad, para
comprobar las tablas resultantes, teniendo en cuenta cualidades y capacidades,
inquietudes que siempre se deben tratar en cada proyecto de vida tanto personal
como profesional.
La lgica es la disciplina que trata de los mtodos de razonamiento; la lgica
proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El
razonamiento lgico se emplea en matemticas para demostrar teoremas
A continuacin se presenta la solucin de algunos ejercicios prcticos, en los cuales se
aplican los conceptos bsicos de la lgica tales como tipo de razonamientos, leyes de
inferencia, falacias, validacin de razonamientos y as mismo la empleabilidad de
grficas, tablas de verdad.
 OBJETIVOS

Resolver problemas de aplicacin desde el pensamiento lgico.

Plantear y resolver problemas de aplicacin en base a la teora de conjuntos y
lgica proposicional.
Aplicar cada una de las bases de la lgica matemtica antes aplicadas
Identificar las diferentes conjunciones que correlacionen a las preposiciones

identificar la temtica del lenguaje formal de la inferencia lgica y demostracin

 DESARROLLO DEL TRABAJO

5. Del total de profesores de la UNAD se ha tomado una muestra de 335 maestros

y se tienen los siguientes datos: 215 son de tiempo completo, 190 hablan el
ingls, 255 tienen por lo menos maestra, 70 son de tiempo completo y hablan
ingls, 110 hablan el ingls y tienen por lo menos una maestra, 145 son de
tiempo completo y tienen por lo menos maestra; y todos tienen al menos una de
las caractersticas. Hallar el nmero de maestros que tengan las tres
caractersticas anteriores.
Solucin
De los datos del enunciado obtenemos:
Todos tienen alguna de la caracterstica.
Del total de la muestra 335 - 255 = 80 No tienen ninguna maestra.

De los que tienen maestra 255 - 110(los de ingls) = 145 corresponden a los que son
de Tiempo Completo

De los que tienen Tiempo Completo 215 - 70 (que hablan ingls) = 145 que tienen
maestra.
Ya sabemos que 145 tienen una maestra y adems tiempo completo.
De los que hablan ingls 110 sabemos que 70 son tambin de tiempo completo.
De 190 que hablan ingls 110 tienen tambin una maestra.
70 son de tiempo completo
190 - 110 - 70 = 10 son slo de ingls.
Y con estos datos montamos el diagrama de Venn.
Tiempo Completo= 215
70 compartidos con ingls.
145 compartidos con maestra.
Maestra = 255
145 compartidos con T. Completo
110 compartidos con ingls.
Ingls = 190
70 compartidos con T. Completo
 110 compartidos con Maestra
10 hablan slo ingls.
Total de la muestra 145 + 70 + 10 + 110 = 335
El numero e

El nmero de maestros que tienen las tres caractersticas son 10.

13. Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo,

entonces la fiesta de graduacin tendra que cancelarse y los estudiantes se
enojaran. Si la fiesta se cancelara, habra que devolver el dinero. No se devolvi
el dinero. Por lo tanto, el Rector pudo dar el discurso.

Razonamientos inductivos o deductivos

Primera premisa: Si el Rector no pudo dar el discurso o los diplomas no llegasen a

tiempo, entonces la fiesta de graduacin tendra que cancelarse y los estudiantes se
enojaran.
 Esta expresin se define como un razonamiento lgico inductivo dado que por la
experiencia sera lgico que si el rector no da el discurso o no hay diplomas no se
podra hacer ceremonia y fiesta de graduacin, sin embargo existe la posibilidad que
se diera la ceremonia y fiesta de graduacin, si quien da el discurso es otro directivo
de la institucin, o si los diplomas se entregan en fechas posteriores.

Segunda premisa: Si la fiesta se cancelara, habra que devolver el dinero

Esta expresin se define como un razonamiento lgico inductivo dado que por la
experiencia sera lgico que si la fiesta se cancela, hubiera que devolver el dinero, sin
embargo existe la posibilidad que la fiesta se cancelara pero el dinero se utilizara en
otra actividad recreativa para los estudiantes.

Tercera premisa: No se devolvi el dinero. Por lo tanto, el Rector pudo dar el discurso.
Esta expresin de define como un razonamiento lgico deductivo dado que su lgica
proviene de premisas anteriores y si se afirman que estas son vlidas por ende la
conclusin tambin es vlida.

Tipo de razonamiento

Con base en todo el enunciado se puede establecer que el tipo de razonamiento

utilizado es deductivo que se deduce una conclusin a partir de sus premisas, mediante
una serie de argumentos elementales, cada uno de los cuales se conoce y acepta como
vlido.

Se verifica la conclusin propuesta?

Para verificar la conclusin propuesta es necesario aplicar las tablas de verdad y las
leyes de inferencia como se muestra a continuacin:

Definiendo las proposiciones simples se tiene:

P: el rector no pudo dar el discurso
q: los diplomas no llegan a tiempo
r: la fiesta de graduacin tendra que cancelarse
s: los estudiantes se enojaran
t: habra que devolver el dinero

Reescribiendo el enunciado con las proposiciones definidas se tiene:

Si p o q entonces r y s. si r entonces t. No t entonces no p
Elaborando la expresin booleana se tiene:
[(p v q) (r s)] (r t) [(~t) (~p)]
Aplicando las tablas de verdad con la expresin completa se tiene:

De acuerdo con la tabla de verdad, se evidencia que la expresin evaluada es una

tautologa, lo que conlleva a evidenciar que el argumento dado cuenta con un
razonamiento valido.

Aplicando el MTT (r t) (~t) (~r) se tiene

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

Aplicando las tablas de verdad con la expresin se tiene:

De acuerdo con la tabla de verdad, se evidencia que la expresin evaluada es una
tautologa, lo que conlleva a evidenciar que el argumento dado cuenta con un
razonamiento valido.

Aplicando la simplificacin r s r se tiene:

[(p v q) (r)] (~r) (~p)

Aplicando las tablas de verdad con la expresin se tiene:

De acuerdo con la tabla de verdad, se evidencia que la expresin evaluada es una

tautologa, lo que conlleva a evidenciar que el argumento dado cuenta con un
razonamiento valido.
6. Si el perrito, el gato y el caballo, como mascotas son abandonados,
entonces son acogidos por la Protectora. Pero el perrito es abandonado,
tambin el caballo. Luego, tanto el perrito como el caballo son acogidos por
la Protectora.
Solucin

Primero se analiza la primera expresin: Si el perrito, el gato y el caballo, como

mascotas son abandonados, entonces son acogidos por la Protectora.

Esta es una proposicin compuesta dado que es una oracin aseverativa

de la que tiene sentido establecer que es verdadera o falsa y adems
contiene conjunciones gramaticales tales como si entonces, y.
Ahora se analiza la segunda expresin: Pero el perrito es abandonado, tambin
el caballo.

Esta es una proposicin compuesta dado que es una oracin aseverativa

de la que tiene sentido establecer que es verdadera o falsa y adems
contiene conjunciones gramaticales tales como pero, si entonces, y.
Finalmente se analiza la ltima expresin: Luego, tanto el perrito como el
caballo son acogidos por la Protectora

Esta es una proposicin compuesta dado que es una oracin aseverativa

de la que tiene sentido

Establecer que es verdadera o falsa y adems contiene conjunciones gramaticales

tales como luego, tanto como
Ahora se reescribir el texto resaltando los conectivos lgicos que no estn
explcitos en la expresin:

Si el perrito es abandonado y el gato es abandonado y el caballo es abandonado,

entonces el perrito es acogido por la protectora y el gato es acogido por la
protectora y el caballo es acogido por la protectora. Pero el perrito es abandonado
y el caballo es abandonado. Luego el perrito es acogido por la protectora y el
caballo es acogido por la protectora

A continuacin se definen las proposiciones simples como se muestra a

continuacin:

p: el perrito es abandonado
q: el gato es abandonado
r: el caballo es abandonado
s: el perrito es acogido por la protector
t: el gato es acogido por la protectora
u: el caballo es acogido por la protectora

Ahora se define el enunciado en funcin de las proposiciones definidas Si p y q y r

entonces s y t y u. Pero p y r.
Luego s y u
A continuacin se define la expresin booleana

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

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

s (s t p s (s t
pq r s t u q r t u u) r u u)] (p r) (s u)
(p r)

VV V V VV V V V V V V V V V

VV V V VF V V V F F V F F V

VV V V F V V V F F F V V F V

VV V V F F V V F F F V F F V

VV V F VV V V F F F V F F V

VV V F VF V V F F F V F F V

VV V F F V V V F F F V F F V

VV V F F F V V F F F V F F V

VV F V VV V F V V V F V F V

VV F V VF V F V F V F F F V

VV F V F V V F F F V F V F V

VV F V F F V F F F V F F F V
VV F F VV V F F F V F F F V

VV F F VF V F F F V F F F V

VV F F F V V F F F V F F F V

VV F F F F V F F F V F F F V

VF V V VV F F V V V V V V V

VF V V VF F F V F V V F V F

VF V V F V F F F F V V V V V

VF V V F F F F F F V V F V F

VF V F VV F F F F V V F V F

VF V F VF F F F F V V F V F

VF V F F V F F F F V V F V F

VF V F F F F F F F V V F V F

VF F V VV F F V V V F V F V

VF F V VF F F V F V F F F V

VF F V F V F F F F V F V F V

VF F V F F F F F F V F F F V

VF F F VV F F F F V F F F V

VF F F VF F F F F V F F F V

VF F F F V F F F F V F F F V

VF F F F F F F F F V F F F V

FV V V VV F F V V V F V F V

FV V V VF F F V F V F F F V

FV V V FV F F F F V F V F V

FV V V FF F F F F V F F F V

FV V F VV F F F F V F F F V

FV V F VF F F F F V F F F V
FV V F FV F F F F V F F F V

FV V F FF F F F F V F F F V

FV F V VV F F V V V F V F V

FV F V VF F F V F V F F F V

FV F V FV F F F F V F V F V

FV F V FF F F F F V F F F V

FV F F VV F F F F V F F F V

FV F F VF F F F F V F F F V

FV F F FV F F F F V F F F V

FV F F FF F F F F V F F F V

FF V V VV F F V V V F V F V

FF V V VF F F V F V F F F V

FF V V FV F F F F V F V F V

FF V V FF F F F F V F F F V

FF V F VV F F F F V F F F V

FF V F VF F F F F V F F F V

FF V F FV F F F F V F F F V

FF V F FF F F F F V F F F V

FF F V VV F F V V V F V F V

FF F V VF F F V F V F F F V

FF F V FV F F F F V F V F V

FF F V FF F F F F V F F F V

FF F F VV F F F F V F F F V

FF F F VF F F F F V F F F V

FF F F FV F F F F V F F F V

FF F F FF F F F F V F F F V
A continuacin se muestra el resultado del simulador en donde se puede apreciar
que la ltima columna de la tabla anterior coincide de manera exacta con la ltima
columna arrojada por el simulador.

Segn el simulador la expresin booleana es una contingencia

 CONCLUSION

Durante la elaboracin del trabajo se pudo concluir acerca del lenguaje simblico y
su interpretacin, adems se logr comprende conceptos de Las tablas de valores
de verdad, que adems son tablas que muestran el valor de verdad de las
proposiciones compuesta, para cada combinacin de valores de verdad que se
pueda asignar a sus componentes.

Las leyes de inferencia lgica que se aplicaron son de gran importancia y al ser
utilizadas en el ejercicio el cual demuestra la validez o no de una proposicin.
El desarrollo de esta actividad permiti afianzar los conocimientos obtenidos
durante el curso, aplicando cada uno de las temticas de manera correcta para
llegar a la solucin de cada uno de los enunciados.
Las temticas aprendidas durante el curso son de gran ayuda para el
desarrollo como profesionales.
 REFERENCIAS

Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia.

Recuperado
de:http://www.slideshare.net/patricialeguizamon397/modulologica
matematica
http://cemorenologica28.blogspot.com.co
Gonzlez Carlomn, A. (2006). Retculo completo de Boole lgica
matemtica teora de conjuntos. Oviedo: Servicio de publicaciones.
Universidad de Oviedo.
http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf

Bianco, E., Figallo, A., Sanza, C., &. Ziliani, A. (2004). MATEMATICA
DISCRETA. Abril 04 2016, de Universidad Nacional del Sur Sitio web:
http://www.x.edu.uy/inet/discretasur.pdf