FACULTAD DE CIENCIAS EXACTAS Y

NATURALES
Grado 11
Taller # 2
SEMILLERO DE MATEMTICAS
Nivel II
TALLER # 2. ELEMENTOS DE LGICA

INTRODUCCIN
Aristteles fue el primero que sistematiz la lgica que usamos en la vida diaria. Muchas personas
piensan que la lgica de Aristteles y el anlisis del cmo funcionan las cosas, estn ligados
inseparablemente a las formas en que a los occidentales se les ensea a pensar.
Gottfried Leibniz, uno de los primeros inventores de la lgica simblica, Leibniz dese construir un
modelo totalmente objetivo para el razonamiento humano y as reducir todos los errores de
razonamiento a errores ms pequeos de clculo. Hasta ahora su sueo ha resultado imposible.
Dentro de este proceso destacaremos muy especialmente la vida de George Boole.
Sin el lgebra Booleana y la lgica formal, no hubiese sido posible la existencia de las modernas
computadoras.

Resea histrica (George Boole)

George Boole (1815-1864) creci en medio de la pobreza. Su padre, un mercader
londinense, le dio sus primeras lecciones de matemticas y le ense a hacer
instrumentos pticos.
En gran medida Boole fue autodidacta. A los 16 aos trabaj en una escuela
elemental y a los 20 haba abierto su propia escuela. Boole estudi matemticas en
sus ratos libres y muri por una enfermedad pulmonar a la edad de 49 aos. Las
ideas de Boole han sido usadas en el diseo de computadoras y sistemas telefnicos.

OBJETIVO GENERAL
Fijar esquemas de razonamiento a travs del ejercicio de actividades lgico- formales.

OBJETIVOS ESPECIFICOS
Trabajar estrategias generales que puedan emplearse para abordar problemas que estn en
contraste con las reglas o algoritmos de muchos libros de texto.
Desarrollar operaciones lgicas a la par con la teora de conjuntos
Usar los smbolos bsicos empleados en lgica.
Interpretar expresiones lgicas sencillas.
Comprobar algunas equivalencias bsicas del lgebra de Boole.

GLOSARIO
Argumento, argumento lgico, argumento vlido, conectivos lgicos, cuantificador, estrategia,
falacia, instinto, proposicin.

ELEMENTOS TERICOS Y EJEMPLOS

Los elementos tericos los organizaremos en tres bloques. El primer bloque estar referido a
estrategias de pensamiento y ejercicios de agilidad mental. El segundo bloque estar referido al
desarrollo del pensamiento lgico a travs del clculo proposicional y el tercer bloque se refiere a
cmo las operaciones lgicas se plasman en la formacin de los conjuntos que verifican las

1
propiedades, expresadas por dichas operaciones. La lgica se va desarrollando a la par con la teora
de conjuntos1

1. EJERCICIOS DE AGILIDAD MENTAL

Los procedimientos bsicos que utilizan los seres vivos a fin de conocer las cosas lo bastante como
para reaccionar ante ellas de manera apropiada, son cuatro.
1. 1 EL INSTINTO: Es una reaccin fija, integrada de tal modo que el organismo ante un estimulo
determinado produce automticamente una respuesta. Como ventajas podramos considerar, la
respuesta instintiva es inmediata, no requiere aprendizaje alguno y su sentido nunca cambia.
1.2 APRENDIZAJE DE PRIMERA MANO: Este es el aprendizaje en el cual un organismo
responde mediante ensayo y error. Este aprendizaje permite desarrollar respuestas para algunas
situaciones nuevas, es lento y como es directo puede ser peligroso (por ejemplo: descubrir un
enchufe elctrico introduciendo los dedos en l)
1.3 APRENDIZAJE DE SUGUNDA MANO: Es un aprendizaje transmitido o derivado. Proviene
de la televisin, de la escuela, de los amigos, de los padres. Este tipo de aprendizaje se puede
almacenar, transmitir en libros, grabaciones etc.
Este aprendizaje es una especie de respuesta promedio que se acomoda a cualquier persona.
Como las fuentes de aprendizaje son indirectas, se puede transmitir respuestas antagnicas.
1.4 APRENDIZAJE POR COMPRENSIN: Este es el proceso por el cual transformamos una
situacin desconocida en una situacin conocida, para saber as como reaccionar ante ella.
Esta transformacin se efecta en la mente a medida que vamos pasando de una idea a la otra,
hasta percibir que la situacin desconocida se parece o se deriva de otras situaciones
familiares. Este pasar de una idea a la otra es el pensamiento. Comprender es pensar.2 la
comprensin es el proceso

2. DESARROLLO DEL PENSAMIENTO LGICO A TRAVS DEL CALCULO

PROPOSICIONAL
En este bloque abordaremos el estudio de la lgica simblica, que utiliza letras para presentar
proposiciones (enunciados) y smbolos para palabras tales como y, o, no una de las aplicaciones
principales de la lgica est en el estudio del valor de verdad (veracidad o falsedad) de
proposiciones con varias partes. El valor de verdad de estas proposiciones depende de los
componentes que la conforman. La lgica simblica estudia los enunciados basados en hechos en
los cuales se define una: proposicin: oracin declarativa que es verdadera o falsa, pero no ambas
de manera simultnea.
Proposicin compuesta: se forma por la combinacin de dos o ms proposiciones simples. Para
la formacin de proposiciones compuestas pueden usarse varios conectivos lgicos tales como y,
o, no, si, entonces.
En este bloque consideraremos entonces los conectivos, expresados antes, sus smbolos y tipo de
proposicin.

CONECTIVO SMBOLO TIPO DE PROPOSICIN

Y ^ CONJUNCIN
O v DISYUNCIN
NO ~ NEGACIN
SI.... ENTONCES CONDICIONAL

1
Meja La Verde Clara. Introduccin a la lgica matemtica por medio de los bloques lgicos. Editorial Zuluaga. Universidad de
Antioquia primera edicin. 2001
2
De Bono Edward. El pensamiento practico. Editorial Paidos. Barcelona, segunda edicin. 1989
2
 P SI Y SOLO SI Q BICONDICIONAL

2.1 APLICACIONES QUE SE DERIVAN DE ESTE BLOQUE DE LGICA FORMAL: Cmo

utilizar diagramas de Euler para analizar argumentos vlidos, cmo utilizar tablas de verdad para
comprobar la validez de un argumento.
2.2 PROBLEMAS REFERIDOS A MOSTRAR LA FUNCION VITAL QUE CUMPLE LA
IMPLICACIN EN LA CONSTRUCCIN DE ARGUMENTACIONES LGICAS

3. LA LGICA SE VA DESARROLLANDO A LA PAR CON LA TEORA DE

CONJUNTOS
En este bloque se trata de desarrollar el razonamiento lgico utilizando cuantificadores y de
aprovechar adems la tendencia que tenemos las personas de encontrar orden y patrones en las
cosas. En matemticas, esta tendencia a agrupar se representa con la idea de conjunto.
3.1 CUANTIFICADORES (universales, existenciales y negacin de cuantificadores)
3.2 PROPOSICIONES CATEGRICAS (universal afirmativa, universal negativa, particular
afirmativa y particular negativa)
3.3 EL METODO DE LOS DIAGRAMAS DE VENN APLICADOS A RAZONAMIENTOS
QUE INVOLUCRAN CUANTIFICADORES EN MS DE DOS CLASES

Ejemplos

1. EL RAZONAMIENTO DE LA EDAD: Jaime y Leoncio son de la misma edad. Jaime es mayor

que Roberto, quien su vez es mayor que Carmen. Hugo, aunque es mayor que Carmen, es ms
joven que Jaime y Roberto. Leoncio es ms joven que el amigo de Hugo, Esteban. Enumera a
estas seis personas siguiendo el orden de sus respectivas edades.
Solucin:
* La edad de Jaime y Leoncio son iguales
L
edad de Leoncio, J
edad de Jaime
L=J
* Jaime es mayor que Roberto, quien su vez es mayor que Carmen
R
edad de Roberto, C
edad de Carmen
J>R>C entonces tenemos que L=J>R>C (1)
* Hugo, aunque es mayor que Carmen, es ms joven que Jaime y Roberto
H
edad de Hugo
R>H>C, J>H>C, entonces por (1) tenemos que L=J>R>H>C (2)
* Leoncio es ms joven que el amigo de Hugo, Esteban
E
edad de Esteban
E>L, entonces por (3) tenemos que E>L=J>R>H>C

De mayor a menor quedan organizados de la siguiente manera

Esteban, Leoncio, Jaime, Roberto, Hugo y Carmen

2. Si voy en un auto a mi trabajo, entonces llegar cansado

No estoy cansado cuando llego a mi trabajo

.. Yo no voy en auto a mi trabajo

Solucin:
P
Voy en un auto a mi trabajo
Q
llegar cansado

3
 En forma de proposiciones tenemos

PQ
~Q
---------
~P

P Q Tengo que esto es verdadero, luego tambin es verdadera ~Q ~P, adems me dicen
que ~Q es verdadera y por tanto ~P es verdadera y este ejemplo seria una Tautologa

TALLER
1. Alberto, Ricardo, Jaime y Tomas han estado contando los resultados de un da de pesca: 1-
Tomas ha pescado ms que Jaime; 2- Alberto y Ricardo han pescado entre los dos, lo mismo que
Jaime y Tomas; 3- Alberto y Tomas no han cogido tantos como Ricardo y Jaime. Quin ha
pescado ms, quin ha sido el segundo, quin el tercero y quin el ltimo?
A -TOMAS, ALBERTO, RICARDO, JAIME
B- RICARDO, TOMAS, JAIME, ALBERTO
C -ALBERTO, JAIME, RICARDO, TOMAS
D- JAIME, RICARDO, TOMAS, ALBERTO

2. Tres misioneros y tres canbales llegan a la orilla de un ro, en medio de una espesa jungla.
Encuentran un bote en el que solamente caben dos personas. Los misioneros se dan cuenta de que
deben tener cuidado de no dejar nunca que los canbales les superen en nmero, o de lo contrario
corrern el riesgo de ser devorados. Cmo pueden atravesar todos el ro, sin que los canbales
puedan comerse a ningn misionero?

3. Un prisionero debe hacer una eleccin entre dos puertas: detrs de una de ellas est una hermosa
dama y detrs de la otra se haya un tigre hambriento Qu sucedera si cada una de las puertas
tuviera un letrero y el hombre sabe que solamente un letrero es verdadero?
El letrero de la primera puerta dice: EN ESTE CUARTO HAY UNA DAMA Y EN EL OTRO
CUARTO HAY UN TIGRE
El letrero de la segunda puerta dice: EN UNO DE ESTOS CUARTOS HAY UNA DAMA Y EN
UNO DE ESTOS CUARTOS HAY UN TIGRE.

4. El gerente, el contable, el cajero y el auditor de nuestro banco son la seora verde, la seora
blanca, el seor negro y el seor marrn, pero no consigo nunca decir quin es quin. 1) El seor
marrn es mas alto que el auditor o el cajero 2) el gerente almuerza solo 3) la seora blanca juega
a las cartas con el seor negro 4) el ms alto de los cuatro juega al baloncesto 5) la seora verde
almuerza con el auditor y el cajero 6) el seor negro es mayor que el auditor 7) el seor marrn no
practica ningn deporte Puedes ayudarme a determinar con seguridad quin es quin
exactamente?

5. (EL JUGADOR DE TENIS). Dos mujeres, Alicia y Carolina y dos hombres, Bruno y David, son
atletas. Uno nada, otro patina, el tercero hace gimnasia y el cuarto juega al tenis. Un da se
sentaron alrededor de una mesa cuadrada, en las posiciones siguientes:
El nadador estaba sentado a la izquierda de Alicia
El gimnasta estaba sentado enfrente de Bruno
Carolina y David se hallaban sentados uno al lado del otro
4
 A la izquierda del que patinaba estaba sentada una mujer
Quin es el que juega tenis?

6. (LA VACA, LA CABRA Y EL GANSO). Un granjero posee unos pastos que debe aprovechar al
mximo para alimentar a su ganado, que consiste en una vaca, una cabra y un ganso. Sabe que la
cabra y el ganso, comen tanta hierba como la vaca y que el pasto en todo caso, no durar ms de
90 das. Adems sabe que el campo alimentar a la vaca y al ganso durante 60 das; o sea, que
alimentar a la vaca y a la cabra durante 45 das. Lo que le gustara saber ahora es cuanto tiempo
alimentara ese campo a los tres animales sin necesidad de esperar a ver qu pasa, porque, si no va
a durar lo suficiente, quiz no pueda conseguir el pasto adicional cuando lo necesite.

7. (CAF CON LECHE?). Una pareja entra en una cafetera a desayunar. A ella le gusta el caf
con un poco de leche, y a l le gusta la leche con un poco de caf. Ella pide una taza de caf solo,
y l pide una taza de leche. Con el fin de satisfacer sus respectivos gustos, ella toma una cucharada
de leche de la taza de leche y la mezcla con la taza de caf. A continuacin, l aade una
cucharada de esa mezcla de caf con leche a su taza de leche. La pregunta es: Hay ms leche en
el caf, ms caf en la leche, o hay la misma cantidad de caf en la leche que de leche en el caf?

8. (EL RAZONAMIENTO DE LA EDAD). Jaime y Leoncio son de la misma edad. Jaime es mayor
que Roberto, quien su vez es mayor que Carmen. Hugo, aunque es mayor que Carmen, es ms
joven que Jaime y Roberto. Leoncio es ms joven que el amigo de Hugo, Esteban. Enumera a
estas seis personas siguiendo el orden de sus respectivas edades.

ESTABLEZCA SI EL ARGUMENTO ES VLIDO O NO. SI ES VLIDO IDENTIFIQUE

LA TAUTOLOGA O TAUTOLOGAS EN QUE SE BASA.

1. Si voy en auto a mi trabajo, entonces llegar cansado

Yo no voy en auto a mi trabajo

.. No llegar cansado

2. Me volver famoso o no me convertir en escritor

Me convertir en escritor

.. Me volver famoso

3. Si lo intento con ahnco y tengo talento, me convertir en msico

Si me convierto en msico, entonces ser feliz

.. Si no voy a ser feliz, entonces no intentar con ahnco o no tengo talento