5.

TALLER N 1
INTRODUCCIN A LA LGICA MATEMTICA POR MEDIO DE LOS BLOQUES
LGICOS
5.1. PRESENTACIN
Esta estrategia para la introduccin de la lgica toma la va experimental, en ella se acogen las
propuestas de Z. P. Dienes y E. W. Golding, presentadas en el texto "Lgica y juegos lgicos" y se
hacen las adaptaciones necesarias para la construccin de la lgica en los ltimos grados de la
secundaria.
El material desarrollado por Dienes se conoce como "bloques lgicos", nombre un tanto equvoco
ya que pudiera pensarse que la lgica est en los bloques y no en las operaciones efectuadas entre
los subconjuntos construidos con dichos bloques. En el desarrollo de la propuesta surgen de manera
natural los conjuntos, los cuales constituyen un sustrato material donde se puede desarrollar la
lgica.
5.2. CONDICIONES PEDAGGICAS
La utilizacin de los bloques lgicos, como mediadores para el establecimiento de los esquemas
bsicos del razonamiento lgico matemtico, tiene las siguientes ventajas pedaggicas:
Proporciona un soporte material para la fijacin de esquemas de razonamiento.
La forma en que los estudiantes realizan la actividad con ellos, constituye un indicador de
las competencias necesarias para el desarrollo del pensamiento lgico. El maestro puede
detectar, en el alumno, dificultades clasificatorias, que ya consideraba superadas.
El desarrollo del clculo proposicional, a travs de las actividades propuestas con este
material, permite asimilar los contenidos proposicionales, eliminando las dificultades de tipo
sicolgico que se involucran, cuando se trabaja sobre enunciados del lenguaje ordinario.
Las operaciones lgicas se plasman en la formacin de los conjuntos que verifican las
propiedades expresadas por dichas operaciones. La lgica se va desarrollando a la par con la
teora de conjuntos.
5.3. OBJETIVOS
Construir, a partir del juego, esquemas bsicos de razonamiento lgico.
Construir, tomando como primitivos, los conectivos lgicos "no" y "o", los restantes
conectivos lgicos: "si... entonces", "y" y "si y slo si".
Visualizar las propiedades ms importantes de cada uno los conectivos y expresarlas en
forma de leyes lgicas.
Mostrar en qu forma se niegan los conectivos, enunciando las leyes de De Morgan.
5.4. PRESENTACIN DE LOS BLOQUES LGICOS
Se trata de un conjunto de 48 piezas, diseadas as:
Tres colores: amarillo, azul y rojo.
Cuatro formas: cuadrado, rectngulo, crculo, tringulo.
Dos tamaos: grande, pequeo.
Dos espesores: grueso, delgado.
Se tienen, entonces, cuatro variables, cuyos valores producen 48 figuras diferentes, el producto de 3

x 4 x 2 x 2.
El material debe ser libremente manejado por los jvenes, antes de comenzar a plantear actividades.
Es necesario que aprendan a nombrar cada uno de los bloques de acuerdo con sus cuatro
caractersticas.
5.5. JUEGOS
5.5.1. Juego de la pieza escondida.
Un joven esconde una pieza. El resto del equipo tiene que descubrir cul ha sido la pieza escondida.
Inicialmente, se permite que los jvenes manipulen los bloques y hagan sus ordenaciones. Ms
adelante, se les sugiere que descubran la pieza que falta sin tocar las dems.
Una variacin, ms complicada, podra ser esconder tres piezas escogidas, por ejemplo tres colores
distintos, pero de la misma forma, del mismo tamao y del mismo grosor.
5.5.2. Juego de negacin con dos equipos.
Finalidad del juego: Si una cosa est en un determinado sitio, no puede estar al mismo tiempo en
otra parte. (Principio de no contradiccin).
Se forman dos equipos; se colocan a lado y lado de una mesa con una pantalla de separacin, de
modo que cada equipo pueda observar sus bloques nicamente. Cada equipo posee 24 bloques
elegidos al azar. Se trata de que cada equipo debe pedir al otro los bloques que posee, designndolos
con los cuatro atributos. Cuando un bloque ha sido pedido una vez, no puede volver a pedirse.
5.5.3. Juego de las respuestas y deducciones.
Para este juego, deben tenerse unas tarjetas con las siguientes inscripciones: no, grueso, delgado,
grande, pequeo, cuadrado, rectngulo, crculo, tringulo, amarillo, azul y rojo.
Un joven piensa en un bloque y, seguidamente, sus compaeros le formulan preguntas como: es
grande? es rojo?... A estas preguntas, el joven responde s o no. Cada vez que se hace una
pregunta, se coloca en la mesa la tarjeta donde est escrita la propiedad preguntada. Si la respuesta
es negativa, se coloca la tarjeta con la palabra no, a la izquierda de la tarjeta correspondiente a la
pregunta; si es afirmativa, basta dejar la tarjeta en su lugar. De esta manera, se va conformando una
columna con las respuestas dadas por el joven. Se puede formar otra columna al frente de la de las
respuestas, en esta se colocan las deducciones que los muchachos sacan de las respuestas.
5.5.4. Juegos de diferencia.
5.5.4.1. Juego con una diferencia: Entre dos bloques lgicos hay, por lo menos, una diferencia. El
juego siguiente sirve para ayudar a los muchachos a tomar conciencia de estas diferencias y
semejanzas.
Un alumno coloca una pieza cualquiera del conjunto encima de la mesa. El alumno siguiente elegir
una pieza que difiera de la primera solamente en un atributo. Esta diferencia tendr que referirse al
tamao, al grosor, al color o a la forma. El siguiente elegir una pieza que se diferencie de la
segunda, igualmente, por un solo atributo. El ejercicio continuar de esta manera, hasta que todas o
casi todas las piezas estn colocadas en una hilera.
5.5.4.2 Juego con dos diferencias: Consiste en jugar en un tablero con dos direcciones, de
izquierda a derecha y de atrs hacia adelante. En la lnea de izquierda a derecha se colocan los
bloques contiguos que tengan una sola diferencia y en la lnea atrs - adelante, los que tengan dos
diferencias. Un problema interesante y difcil es llenar las esquinas.

Cuadrado
cuadrado
amarillo
pequeo
grande
delgado
grueso

cuadrado
?
rojo
grande
grueso

Crculo
crculo
amarillo
grande
delgado

crculo
Crculo
crculo
amarillo
amarillo
grande
grande
grueso
grueso

cuadrado
crculo
amarillo
azul
grande
grande
grueso
grueso

Tringulo
tringulo
amarillo
grande
grueso

tringulo
Tringulo
tringulo
rojo
rojo
grande
grande
grueso
grueso

rectngulo
rectngulo
rojo
rojo
grande
grande
grueso
grueso

rectngulo
rectngulo
azul
azul
grande
grande
grueso
grueso

cuadrado
cuadrado
azul
azul
grande
grande
grueso
grueso

Para llenar el espacio marcado con ?

es necesario tener en cuenta una
diferencia con respecto a B2 y dos con
respecto a B1. En muchos casos, ser
imposible, con las fichas disponibles,
llenar este lugar. Cuando esto ocurra,
debe construirse una argumentacin
explicando el por qu de la
imposibilidad.

5.5.4.3. Actividades. En los ejercicios

que se presentan a continuacin, coloque nicamente los bloques de acuerdo con las caractersticas
anotadas en las cuadrculas respectivas. Determine el bloque o bloques que pueden ocupar la
posicin sealada con el signo "?".
Construya para cada situacin una argumentacin sistemtica que le permita fundamentar la
solucin.
5.5.4.3.1.

5.5.4.3.2.

5.5.4.3.3.

5.6. CONSTRUCCIN DE LAS LEYES BSICAS DE LA LGICA

5.6.1. Actividad N 1
Encierre dentro de un redondel, formado con una cuerda, todas las piezas que sean crculos y slo
estos. En el interior de otro redondel, coloque todas aquellas piezas que sean azules y slo stas. Es
evidente que los redondeles tendrn que superponerse para colocar los crculos azules, de tal forma,
que estn en el interior de los dos redondeles.
Rena ahora en un solo redondel todas las piezas que sean crculos o azules y slo stas.
Preguntas
a. Es necesario que un bloque sea a la vez crculo y azul para estar dentro del redondel?
b. Es suficiente que un bloque sea crculo para estar dentro del redondel?
Es esto necesario?
c. Es suficiente que un bloque sea azul para estar dentro del redondel?
Es esto necesario?
d. Si no es un crculo y est en el redondel necesariamente es: _____
Si no es azul y est en el redondel necesariamente es: __________
e. Qu piezas quedan por fuera?
Qu propiedad tienen?
Iniciacin a la simbolizacin
Nombre como x a una pieza cualquiera de la coleccin y a los atributos mencionados, as:
: x es

un

bloque

circular

: x es un bloque azul.
Con estos atributos se forman los conjuntos:
y
La reunin de los conjuntos A y B se designa

, que tambin puede llamarse unin de A y B.

Ahora, las piezas que quedan por fuera son las que no poseen el atributo, es decir,
y ellas son las no circulares y no azules, no
Adems, cumplir la propiedad

y no

es lo mismo que: si no

entonces

, o tambin: si

no

entonces

Resumiendo, podemos decir que las piezas que estn dentro del redondel, o sea las que verifican la
propiedad
o
son:

los crculos no azules, los crculos azules, los no crculos azules. Las que quedan por fuera son los
no crculos no azules. Podemos indicar esto mediante el siguiente diagrama:

Si indicamos con la letra V la verificacin de la propiedad y con la letra Fla no verificacin,

podemos conformar la siguiente tabla:
o

5.6.2. Actividad N 2

Encierre dentro de un redondel todas las piezas que no sean crculos o sean azules y slo stas.
Preguntas:
a. Es necesario que un bloque sea, a la vez, no crculo y azul para estar dentro del redondel?
b. Es suficiente que un bloque no sea crculo para estar dentro del redondel?
Es esto necesario?
c. Es suficiente que un bloque sea azul para estar dentro del redondel?
Es esto necesario?
d. Si es un crculo y est en el redondel necesariamente es: _______
Si no es azul y est en el redondel necesariamente es: __________
e. Qu piezas quedan por fuera?
Qu propiedad tienen?
f. Si designamos por:
Cx: x es un bloque circular
Ax: x es un bloque azul.
A: El conjunto de los bloques no circulares
B: El conjunto de los bloques azules
O sea:

Se forma el conjunto reunin de A con B,

De acuerdo con las observaciones realizadas, se tiene:

no

es lo mismo que:
Las piezas que quedan por fuera son las que no cumplen la propiedad; esto es:
no (no

) y son los crculos no azules,

no (no

) es lo mismo que

y no

y no

. Luego,

Se puede decir que las piezas que estn dentro del redondel son las que verifican la propiedad:
"Si

, entonces

". Esta expresin se puede abreviar escribiendo,

Ahora, las piezas que quedan dentro del redondel son crculos azules, no crculos azules, no crculos
no azules.

Estos resultados pueden resumirse en la siguiente tabla:

5.6.3. Actividad N 3
Encierre, dentro de un redondel, todas las piezas que no sean crculos o no sean azules y slo stas.
Preguntas:
a. Es necesario que un bloque sea, a la vez, no crculo y no azul para estar dentro del
redondel?
b. Es suficiente que un bloque sea no circular para estar dentro del redondel?
Es esto necesario?
c. Es suficiente que un bloque no sea azul para estar dentro del redondel?
Es esto necesario?

d. Si es un crculo y est en el redondel necesariamente es: _______

Si es azul y est en el redondel necesariamente es: ____________
e. Qu piezas quedan por fuera?
Qu propiedad tienen?
f. Si se designa por: Cx: x es un bloque circular
Ax: x es un bloque azul.
Sea:

. Se forma el conjunto:

Las piezas que quedan fuera del redondel, las que no verifican la propiedad no Cx o no Ax, son
aquellos que son crculos azules, o sea, Cxy Ax. Luego; no(no Cx o no Ax) es lo mismo
que Cx y Ax. Si formamos el conjunto,

Los bloques que no estn en C sern los que estn en

; esto es, los que tienen la propiedad

"no Cx o no Ax". Por tanto; no (Cx y Ax) es lo mismo que no Cx o no Ax.

En sntesis, se puede construir la siguiente tabla:

5.6.4 Actividad N 4
5.6.4.1. Escoja dos atributos o propiedades de los bloques lgicos (Px yQx) y forme el conjunto
unin de dichos atributos.

Qu propiedad tiene el conjunto unin formado?

Qu condicin o condiciones son suficientes para estar dentro del conjunto?
Qu condicin o condiciones son necesarias para estar dentro del conjunto?
Qu piezas han quedado por fuera?

Responda a las preguntas utilizando el lenguaje cotidiano y a continuacin efecte la simbolizacin

correspondiente.
5.6.4.2. Forme un conjunto unin de dos conjuntos, donde uno de ellos tenga un atributo con
negacin. Por ejemplo: sean Px: x es rojo y no Qx:x no es cuadrado.
Qu propiedad tiene el conjunto unin?
Puede haber dentro del conjunto un bloque que verifique la propiedad Qx?
Si hay dentro del conjunto un bloque que verifique la propiedad Qx,entonces, qu otra
propiedad debe verificar?
Si hay dentro del conjunto un bloque que no verifique la propiedadPx, entonces, qu
propiedad debe verificar?
Qu piezas han quedado por fuera del conjunto? Qu propiedad tienen?
Construya por medio de este ejercicio la implicacin simblica, y las leyes lgicas que se
desprenden de las conclusiones obtenidas de las anteriores preguntas.
5.6.4.3. Forme un conjunto unin de dos conjuntos, donde los dos atributos correspondientes tengan
negacin. Por ejemplo:
no Px: x no es rojo.
no Qx: x no es cuadrado.
Si un bloque verifica la propiedad Px, entonces no pertenece al conjunto? Explique.
Si un bloque verifica la propiedad Qx, entonces no pertenece al conjunto? Explique.
Qu piezas quedan por fuera del conjunto? Qu propiedad tienen?
Use las conclusiones obtenidas de la actividad para construir la conjuncin. Efecte las
simbolizaciones adecuadas.
5.6.5 Actividad N 5
Coloque, en el interior del redondel todas aquellas piezas que son: o biencrculos azules, o bien, no
crculos no azules, y solo stas.
Preguntas

a. Es posible encontrar al menos un bloque que cumpla con ambas propiedades?

b. Es suficiente que un bloque sea crculo para estar dentro del redondel?
Es esto necesario?
c. Es suficiente que un bloque sea no azul para estar dentro del redondel?
Es esto necesario?
d. Es suficiente que un bloque sea crculo y azul para estar en el redondel?
Es esto necesario?
e. Es suficiente que un bloque sea no crculo y no azul para estar en el redondel?
Es esto necesario?
f. Si es un crculo y est en el redondel necesariamente es: ________
Si es azul y est en el redondel necesariamente es: _____________
g. Si no es un crculo y est en el redondel necesariamente es: ______
Si no es azul y est en el redondel necesariamente es: __________
h. Qu piezas quedan por fuera?
Qu propiedad tienen?
i. Si se designa por: Cx: x es un bloque circular.
Ax: x es un bloque azul.
El conjunto de los crculos azules, est formado por los bloques que pertenecen tanto al
conjunto A de crculos como al conjunto B de azules, as:

Este conjunto se denota

y se lee: "A interseccin B".

De la misma forma, si A denota el conjunto de los no crculos y B el conjunto de los no azules,

entonces:

Se trata ahora de construir el conjunto reunin de crculos azules con no crculos no azules.
Sea D dicho conjunto. Entonces:

 tambin

Las piezas del conjunto formado verifican los siguientes atributos:

"Si
un
bloque
es
crculo,
"Si
un
bloque
es
azul,
"Si
un
bloque
no
es
crculo,
"Si un bloque no es azul, entonces no es crculo"

entonces
entonces
entonces

es
es
no

Ahora, los atributos enunciados se representan as:

Si Cx, entonces Ax.
Si Ax, entonces Cx.
Si no Cx, entonces no Ax.
Si no Ax, entonces no Cx.
Una forma de expresar conjuntamente las anteriores afirmaciones es diciendo que:
"Un bloque es crculo si y slo si es azul"
Por fuera del redondel estn las piezas que son crculos no azules o no crculos azules.
Simbolizando, se tiene:
Cx si y slo si Ax. Esta expresin se puede escribir as:
Luego,
(

) es lo mismo que (Cx y Ax) o (no Cx y no Ax).

Las piezas que quedan por fuera del redondel son las que no verifican la propiedad.
Por tanto,
no (

) es lo mismo que (Cx y no Ax) (no Cx y Ax).

La siguiente tabla resume los resultados obtenidos

es

azul"
crculo"
azul"