Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

Matemtica
Serie 2 para docentes de Secundaria

Didctica de la Matemtica
Fascculo 6: ASPECTOS METODOLGICOS EN
EL APRENDIZAJE DE LA LGICA MATEMTICA EN
SECUNDARIA
Ministerio de Educacin
Van de Velde 160, San Borja
Primera edicin, 2007
Tiraje: 14 000 ejemplares
Impreso en Empresa Editora El Comercio S.A.
Jr. Juan del Mar y Bernedo 1318,
Chacra Ros Sur, Lima 01
Hecho el Depsito Legal en la
Biblioteca Nacional del Per
Nro. 2007-00267
Coordinacin y supervisin general MED
Antonieta Cubas Meja
Supervisin pedaggica MED
Juan Carlos Sandoval Pea
Verificacin de estilo MED
Miguel Luis Bances Gandarillas
Autora
Ediciones El Nocedal S.A.C.
Coordinador
Rubn Hildebrando Glvez Paredes
Elaboracin pedaggica
Felipe Eduardo Doroteo Petit
Itala Esperanza Navarro Montenegro
Edgar Justo Chacn Nieto
Daniel Jos Arroyo Guzmn
Colaboracin especial
Mara Amparo Vega Aguilar
Revisin pedaggica
Hno. Marino La Torre Mario
Revisin acadmica
Armando Zenteno Ruiz
Diseo y diagramacin
Virginia Rosalia Artadi Len
Ilustraciones
Patricia Nishimata Oishi
Brenda Romn Gonzlez
Fotografa
Enrique Bachmann
Corrector de estilo
Marlon Aquino Ramrez
MINISTERIO DE EDUCACIN
Z_Creditos S2 F6 D.indd 1 6/13/07 6:56:29 PM
PRESENTACIN
Segn Manuel Ojeda Aciego, del Departamento de Matemtica aplicada
de la Universidad de Mlaga, la Lgica es importante cuando lo que se
pretende es mecanizar tareas donde interviene la capacidad deductiva en las
que se necesita:
Tener conocimiento sobre el dominio del discurso.
Razonar con tal conocimiento.
Conocer cmo dirigir o guiar tal razonamiento.
Por estas razones, el estudio de esta disciplina para un docente e investigador en
Matemtica y la introduccin de nuestros estudiantes en ella es necesaria.
El presente documento ha sido elaborado con la nalidad de servir como
complemento en el trabajo del docente proporcionando ideas o puntos de
partida para la creacin de estrategias didcticas para la enseanza de la Lgica
Proposicional.-Busca satisfacer la interrogante: qu tipo de situaciones
didcticas podemos usar para la enseanza de la Lgica Proposicional, si
queremos ser consecuentes con los principios cognitivos del aprendizaje,
con la importancia de la interaccin social y del trabajo en equipo de los
estudiantes?
Con este n, desarrollaremos los principios metodolgicos, procedimientos,
estrategias y algoritmos que rigen los procesos de desarrollo de capacidades
para comprender las diversas deniciones y conceptos relacionados con
la Teora de la Lgica Proposicional. Por otro lado, para operar con sus
aplicaciones proporcionaremos modelos de tcnicas didcticas, juegos y
sugerencias de construccin y utilizacin de material educativo.
Finalmente, el presente fascculo concluye con la metacognicin, que su-
giere una reexin permanente sobre el propio aprendizaje con la nalidad
de aprender a aprender, tambin se considera la hoja de evaluacin, chistes
matemticos, curiosidades matemticas que sugieran investigacin, biblio-
grafa comentada y enlaces web.

s2 fasc6 docen.indd 1 5/31/07 8:02:20 PM
NDICE
Presentacin .......................................................................................................................... 1
ndice ...................................................................................................................................... 2
Organizador visual de contenidos ......................................................................................... 3
Motivacin ............................................................................................................................ 4
Logros de aprendizaje ........................................................................................................... 4
Recuperacin de saberes previos .......................................................................................... 4
1. NOCIONES DE LGICA Y METODOLOGA .............................................................................. 5
1.1 Proposiciones ............................................................................................................. 6
1.2 Conectores Lgicos ................................................................................................... 8
1.3 Clases de Proposiciones ............................................................................................. 14
1.4 Variables Proposicionales .......................................................................................... 15
1.5 Frmulas Lgicas ...................................................................................................... 15
Actividad 1 ....................................................................................................................... 17
2. TABLAS DE VERDAD ............................................................................................................ 19
2.1 Tablas de Verdad de los Conectores Lgicos ............................................................ 19
2.2 Desarrollo de Tablas de Verdad de Frmulas Lgicas ............................................... 23
2.3 Tautologas, Contradicciones y Contingencias .......................................................... 24
Actividad 2 ....................................................................................................................... 25
3. JUEGOS EN LA ENSEANZA DE LA LGICA ............................................................................ 26
3.1 Sopa de Proposiciones ............................................................................................... 26
3.2 Cartas Lgicas ........................................................................................................... 28
Actividad 3 ....................................................................................................................... 29

4. EVALUACIN ...................................................................................................................... 30
5. METACOGNICIN ............................................................................................................... 31
Bibliografa comentada ......................................................................................................... 32
Enlaces web ........................................................................................................................... 32

c
o
m
p
r
e
n
d
e
A
S
P
E
C
T
O
S

M
E
T
O
D
O
L
G
I
C
O
S

E
N

E
L

A
P
R
E
N
D
I
Z
A
J
E

D
E

L
A

L
G
I
C
A

M
A
T
E
M
T
I
C
A

E
N

S
E
C
U
N
D
A
R
I
A
c
o
m
o
a

t
r
a
v
s

d
e
C
o
n
e
c
t
o
r
e
s

l
g
i
c
o
s
J
u
e
g
o
s
C
o
n
t
i
n
g
e
n
c
i
a
s
C
o
n
t
r
a
d
i
c
c
i
o
n
e
s
T
a
u
t
o
l
o
g
a
s
N
o
c
i
o
n
e
s
d
e
t
r
a
t
a
n
d
o
F
r
m
u
l
a
s

l
g
i
c
a
s
V
a
r
i
a
b
l
e
s
q
u
e

p
u
e
d
e
n

s
e
r
C
o
m
p
u
e
s
t
a
s
C
l
a
s
e
s
d
e
t
e
r
m
i
n
a
n
d
o

s
u
s
d
e
s
a
r
r
o
l
l
a
n
d
o
s
u
s
p
a
r
a

d
e
t
e
r
m
i
n
a
r
L
g
i
c
a
C
a
r
t
a
s

l
g
i
c
a
s
P
r
o
p
o
s
i
c
i
o
n
e
s
S
i
m
p
l
e
s
T
a
b
l
a
s

d
e

v
e
r
d
a
d
S
o
p
a

d
e

p
r
o
p
o
s
i
c
i
o
n
e
s
M
e
t
o
d
o
l
o
g
a
p
a
r
a

d
o
c
e
n
t
e
s
4
Serie 2 / DIDCTICA
DE LA MATEMTICA
Lee atentamente las preguntas y responde en una hoja aparte.
Por qu es importante que nuestro lenguaje cotidiano est
desarrollado bajo una estructura lgica adecuada?
Cules de las siguientes frases pueden ser verdaderas o
falsas?
- Hola!
- Mi nombre es Mara.
- Cunto cuesta?
- 2x + 6 = 14
- Rpido!
Cules son las operaciones con dos conjuntos? Explica cada
una de ellas.
Conoces algn juego que desarrolle el pensamiento lgico
en las personas? Cul?
LOGROS DE APRENDIZAJE
Interioriza los fundamentos y nes del proceso
de aprendizaje de la Lgica Proposicional,
mediante el anlisis y discusin del porqu
de su aprendizaje mostrando tolerancia y
apertura.

Identica los procesos del aprendizaje y los
mtodos de enseanza de las Tablas de Verdad
a travs de la lectura, anlisis e interpretacin
de la informacin proporcionada, mostrando
conanza en sus capacidades.
Investiga y propone actividades que permitan
a sus estudiantes comprender, interpretar
y aplicar los conceptos, deniciones y
propiedades de la Lgica Proposicional
a travs del anlisis de las actividades
y materiales presentados, manifestando
creatividad y conanza en sus habilidades.
En el desarrollo de la Inteligencia Articial, las aplicaciones de la
Lgica Difusa (rama moderna de la Lgica, aunque hay quienes
plantean que ya Aristteles manejaba este concepto debido a sus
reexiones en relacin a los grados de verdad) cada vez toma ms
importancia y sus aplicaciones da a da se hacen cada vez ms
extensivas en los diferentes campos relacionados a los procesos
de control de robots mviles.
La Lgica Difusa se ha transformado en una de las herramientas
ms valiosas para el desarrollo de procesos de control relacionados
con la Inteligencia Articial, debido en gran parte a la capacidad
que posee de tratar la incertidumbre existente en un determinado
contexto.
ASPECTOS METODOLGICOS
EN EL APRENDIZAJE
DE LA LGICA MATEMTICA
EN SECUNDARIA
Motivacin
www.smallartworks.ca
RECUPERACIN DE SABERES PREVIOS
5
Fascculo 6 / ASPECTOS
METODOLGICOS EN
EL APRENDIZAJE DE LA
LGICA MATEMTICA
EN SECUNDARIA
1. NOCIONES de
LGICA y
METODOLOGA
La comunicacin es la base del desarrollo del ser humano, que es un ser
social por excelencia. Al comunicarse con sus semejantes lo hace a travs de
un lenguaje determinado (oral, escrito, corporal, etc.). Lo importante es que
a partir de un enunciado y de acuerdo con su signicado se puede determinar
una proposicin y a partir de un conjunto de proposiciones podemos construir
una inferencia. La Lgica es la ciencia que nos brinda las herramientas para
realizar esta labor.
Dado que esta unidad de aprendizaje no guarda relacin con ninguno de los
temas desarrollados previamente en el curso de Matemtica, los conceptos
previos que se deban rescatar no son muy amplios.
Sera recomendable introducir el tema mediante la pregunta: Qu entiendes
por enunciado? y anotar las respuestas en la pizarra. Lo importante en este
momento es que no se debe juzgar las respuestas dadas por los estudiantes.
Todas sin excepcin deben ser escritas en la pizarra, pues esto har que los
estudiantes se sientan reconocidos y valorados, lo cual generar una buena
disposicin para el aprendizaje en ellos y les quitar el miedo de hablar. Es
probable que con un buen direccionamiento de las intervenciones se pueda
comenzar a construir una nocin previa a la denicin.
Es muy favorable para el inters y la motivacin de los estudiantes que
los ejemplos que se planteen en clase estn contextualizados en relacin
a contenidos bsicos de diferentes materias (obviamente hablamos de
contenidos que los estudiantes deberan manejar en relacin al ao lectivo que
estn cursando), as se genera una discusin favorable entre los estudiantes y
a la vez se refuerzan contenidos de otras reas. Por otro lado, el trabajo con
valores en clase es fundamental; es importante, por eso, plantear ejemplos en
los que los estudiantes puedan discutir sus puntos de vista acerca de alguna
situacin que involucre valores sociales y ticos. Estas discusiones siempre
deben estar dirigidas por el docente y encaminadas a desarrollar valores en
los estudiantes.
La comunicacin es la base del
desarrollo humano.
Es importante presentar a los
estudiantes temas que despierten
inters.
6
Serie 2 / DIDCTICA
DE LA MATEMTICA
1.1 Proposiciones
Para denir las proposiciones se puede empezar presentando a los estudiantes
una serie de enunciados, como por ejemplo:
Jpiter es el quinto planeta del Sistema Solar.
Montevideo es la capital de Paraguay.
Lima se fund el 18 de enero de 1514.
La raz cbica de 4 913 es 17.
Jos es sobrino de Enrique.
Manuel es el ms alto de su saln.
(a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3
Luego se les dice que todos esos enunciados son proposiciones y que deben
analizar qu caractersticas comunes tienen todos ellos. A partir de las ideas
que den los estudiantes se les pedir que intenten denir una proposicin y
la escriban en sus cuadernos. Luego se pide a algunos estudiantes que lean
lo que han escrito y se analiza si se puede completar y mejorar. Finalmente,
se uniformiza la informacin de la siguiente manera:
Se denomina as a todos los enunciados declarativos que se caracterizan
por tener un nico valor de verdad (sea este verdadero o falso) de carcter
universal, es decir, o son verdaderos o son falsos, lo cual implica que en la
evaluacin de su valor de verdad no genera ningn tipo de ambigedad.
Es importante tener en cuenta que en la comprensin del concepto de
proposicin los estudiantes suelen cometer bsicamente dos tipos de errores
de interpretacin:
I. Pensar que slo son proposiciones aquellos enunciados que son
verdaderos.
II. Pensar que slo son proposiciones aquellos enunciados a los cuales
les pueden determinar el valor de verdad; es decir, que si no pueden
determinar el valor de verdad de un determinado enunciado, entonces
ste no es una proposicin.
Para el primer caso hay que dejar muy en claro que el valor de verdad de
un determinado enunciado no es relevante para categorizarlo como una
proposicin, ya que existen proposiciones verdaderas y proposiciones falsas
(el primer ejemplo es una proposicin verdadera mientras que el segundo
ejemplo es una proposicin falsa).
Para el segundo caso hay que aclarar que no importa si no se tiene el
conocimiento necesario para poder determinar el valor de verdad de un
enunciado, lo importante es que este valor de verdad (no conocido) sea nico
y de carcter universal, para as poder determinar si el enunciado es o no es
una proposicin.
Los estudiantes deben ser los
protagonistas del aprendizaje.
7
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
En el quinto ejemplo, Jos es sobrino de Enrique, no se tiene informacin
de cul es la relacin entre Jos y Enrique; sin embargo, slo existen dos
posibilidades: o Jos es sobrino de Enrique (con lo cual la armacin sera
verdadera), o Jos no es sobrino de Enrique (con lo cual la armacin sera
falsa); no es posible que Jos sea sobrino y no sobrino de Enrique a la vez,
por lo tanto, al tener el enunciado un valor de verdad nico, se concluye que
es una proposicin.
Por otro lado, debemos decir a nuestros alumnos que deben tener en cuenta
que las rdenes, las preguntas, las opiniones y las expresiones que contengan
variables no son proposiciones. Ejemplo:
Pregunta: Quin se ha comido mi torta?.
Orden: No mientas!.
Opinin: Yo pienso que este presidente no es bueno.
Ecuacin: x
3
+ 5xy - 3y
2
+ 4y
3
= 7.
Ninguna de las expresiones anteriores es una proposicin.
Para que los estudiantes refuercen la comprensin signicativa del concepto
de proposicin, es recomendable explicar el porqu de estas excepciones.
Tenemos:
I. En el caso de las preguntas y las rdenes se debe a que stas no son
enunciados declarativos (no arman o niegan algo), por lo tanto, carecen
de valor de verdad. Sera ilgico pensar que una pregunta o una orden
sea verdadera o falsa.
II. En el caso de las opiniones, al ser stas subjetivas no son de carcter
universal. En el tercer ejemplo, Yo pienso que este presidente no es
bueno, algunas personas consideran esta armacin como verdadera,
pero otras la considerarn como falsa, con lo cual se pierde el carcter de
universalidad del valor de verdad, por lo tanto, el enunciado no es una
proposicin. En este momento se debe poner nfasis en el hecho de que
el valor de verdad de una proposicin no est sujeto a interpretaciones u
opiniones, es decir, o es verdadero en todos los casos o es falso en todos
los casos.
III. El caso de las expresiones que contienen variables es un caso muy
particular y requiere de una explicacin de carcter matemtico para
evitar una confusin o mecanizacin por parte de los estudiantes.
Los docentes deben aclarar algunos trminos matemticos que son
fundamentales para que los estudiantes logren ideas claras sobre las
proposiciones escritas en lenguaje algebraico:
Como ya hemos visto,
el valor de verdad en un
determinado enunciado
lgico tiene un carcter
universal. La verdad,
sin embargo, tambin es
entendida de otra manera,
como uno de los valores
morales ms importantes del
ser humano.
8
Serie 2 / DIDCTICA
DE LA MATEMTICA
Primero debe aclararse la diferencia entre Identidad, Ecuacin y
Desigualdad.
Luego debe aclararse la diferencia entre Constante y Variable.
Finalmente, se debe explicar que las letras que forman parte de una
identidad se denominan constantes, mientras que las letras que forman
parte de una ecuacin se denominan variables.
Ahora, analicemos las expresiones algebraicas presentadas anteriormente
como ejemplos de proposiciones y no proposiciones:
(a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3
. Esta expresin es una identidad, debido
a que se cumple para cualquier valor de las constantes a, b (su valor de
verdad siempre es verdadero), por lo tanto, es una proposicin.
x
3
+ 5xy - 3y
2
+ 4y
3
= 7. Esta expresin es una ecuacin, debido a que
slo se cumple para ciertos valores de sus variables x, y (su valor de verdad
depender de los valores de verdad admisibles que tomen las variables x e
y); es decir, para ciertos valores de x e y ser verdadera mientras que para
otros valores de x e y ser falsa, por lo tanto, no tiene un valor de verdad
nico, entonces, no es una proposicin.
1.2 Conectores Lgicos
De la misma forma en que se inici el estudio de las proposiciones, se puede
presentar los conectores lgicos. Se presenta a los estudiantes las siguientes
proposiciones:
O soy sincero o soy mentiroso.
Ir a la esta, si y slo si, termino con mis deberes escolares.
Es bueno respetar y querer a nuestros semejantes.
Si me esfuerzo en mis estudios, entonces tendr ms oportunidad de
triunfar en la vida.
Algunas personas son extrovertidas o introvertidas.
Fumar no es bueno para la salud.
Se les pide que lean atentamente cada una de ellas y se les dice que las
letras resaltadas son conectores lgicos. Luego se les pide que escriban en
sus cuadernos lo que podra ser un conector lgico. Voluntariamente los
estudiantes irn leyendo sus deniciones, siempre reforzando positivamente
su participacin, y pidiendo a sus compaeros respeto y tolerancia ante las
diversas ideas presentadas.
Finalizada la intervencin de los estudiantes, y luego de una pequea
discusin sobre las ideas aportadas, se formaliza el concepto de conectores
lgicos de la siguiente manera:
Se denomina as a todas aquellas palabras o frases (tales como: no, no es
verdad que, adems, pero, si, sin embargo, por lo tanto, si y slo si, entre
Conectores lgicos
Los conectores lgicos
permiten dotar de
coherencia, ilacin y
correspondencia a los
enunciados. Mas no
solamente en la Lgica.
Tanto en la vida diaria
como en nuestra labor
docente, nos encontramos en
constante comunicacin oral
y escrita. Es necesario, para
expresarnos con propiedad,
y lograr que nuestras ideas
sean captadas a cabalidad
por nuestros estudiantes,
emplear de manera
correcta y constante dichos
conectores lgicos.
9
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
otras) mediante las cuales se pueden crear nuevas proposiciones a partir de
proposiciones ya existentes.

Los conectores lgicos son seis: Negacin, Conjuncin, Disyuncin
Inclusiva, Disyuncin Exclusiva, Condicional y Bicondicional.
Luego se debe hacer ver a los estudiantes que si bien desde el punto de vista
conceptual cada conector tiene un nombre, es muy importante reconocer a
qu palabra o frase estn asociados, cul es la estructura formal en la que
se presentan y cul es el smbolo que los representa. Esta relacin entre el
conector, frase, estructura y smbolo se presenta en la siguiente tabla.
CONECTIVO PALABRA / FRASE ESTRUCTURA SMBOLO
Negacin No, No es cierto No Proposicin ~
Conjuncin y , adems, pero
Proposicin 1 y
Proposicin 2
^
Disyuncin Inclusiva o
Proposicin 1 o
Proposicin 2
v
Disyuncin Exclusiva o o
o Proposicin 1 o
Proposicin 2
Condicional Si entonces, luego

Si Proposicin 1
entonces Proposicin 2
Bicondicional Si y slo si
Proposicin 1 si y slo
si Proposicin 2
Por otro lado, es recomendable explicar cada uno de los ejemplos presentados
haciendo que los estudiantes identiquen qu conector se ha utilizado y cules
fueron las proposiciones que se tomaron como base para crear cada una de
estas proposiciones compuestas, para luego pasar a denir ms claramente
cada uno de estos conectores lgicos. Veamos:
I. En el primer ejemplo, el conector lgico que se utiliz fue la Disyuncin
Exclusiva y las proposiciones que se tomaron como base fueron: Soy
sincero y Soy mentiroso.
II. En el segundo ejemplo, el conector lgico que se utiliz fue el
Bicondicional y las proposiciones que se tomaron como base fueron:
Ir a la esta y Termino mis deberes escolares.
III. En el tercer ejemplo, el conector lgico que se utiliz fue la Conjuncin
y las proposiciones que se tomaron como base fueron: Es bueno respetar
a nuestros semejantes y Es bueno querer a nuestros semejantes. En
este momento se debe mencionar que el anlisis de una proposicin con
conectores requiere de una correcta comprensin e interpretacin.
IV. En el cuarto ejemplo, el conector lgico que se utiliz fue el Condicional
y las proposiciones que se tomaron como base fueron: Me esfuerzo en
mis estudios y Tendr ms oportunidad de triunfar.
V. En el quinto ejemplo, el conector lgico que se utiliz fue la Disyuncin
Inclusiva y las proposiciones que se tomaron como base fueron: Algunas
personas son extrovertidas y Algunas personas son introvertidas.
Proposicin Simple:
enunciado declarativo del
cual se puede armar que es
verdadero o que es falso, pero
no ambos a la vez.
Proposicin Compuesta: las
proposiciones compuestas
son aquellas que se forman
por unin de proposiciones
simples mediante los
conectores lgicos.
Zs2 fasc6 docen.indd 9 6/1/07 12:50:56 PM
10
Serie 2 / DIDCTICA
DE LA MATEMTICA
VI. En el ltimo ejemplo, el conector lgico que se utiliz fue la Negacin
y la proposicin que se tom como base fue Fumar es bueno para la
salud. Este es el momento indicado para enfatizar que la negacin es
el nico conector con el que se pueden generar nuevas proposiciones
a partir de una sola proposicin, los dems conectores requieren
necesariamente de dos proposiciones.
Luego de estas explicaciones, se les pide a los alumnos que formulen
ejemplos de proposiciones y utilicen algunos de los conectores lgicos y
que expliquen sus ejemplos mencionando cules son los conectores que
utilizaron y cules fueron las proposiciones que tomaron como base.
A continuacin, detallaremos cada uno de los conectores lgicos:
La Negacin. (~ p )
Recordando que la frmula lgica ms sencilla es aquella que niega a una
proposicin simple, la frmula lgica ms simple que representa la estructura
de una negacin es ~ p.

La Conjuncin. (p q)
Antes de presentar la Tabla de Verdad de la Conjuncin sera de mucha
utilidad analizar una situacin real en la que se utilice este conector lgico
como parte del proceso de comunicacin entre las personas.
Santiago le cuenta a sus amigos que por su cumpleaos sus padres le
regalaron una bicicleta amarilla y negra.
Qu quiso decir Santiago cuando mencion que la bicicleta era amarilla
y negra? Creo que estaramos de acuerdo con que quiso enfatizar que la
bicicleta era de dos colores.
Los amigos de Santiago no saben si Santiago dijo la verdad o si minti, slo
lo podrn determinar cuando puedan ver la bicicleta.
Cuando vean la bicicleta pueden darse cuatro posibilidades:
I. La bicicleta s es de color amarillo y tambin es de color negro, por lo
tanto, la armacin de Santiago fue verdadera.
II. La bicicleta s es de color amarillo, pero no es de color negro, por lo
tanto, la armacin de Santiago fue falsa.
III. La bicicleta no es de color amarillo, pero s es de color negro, por lo
IV. La bicicleta no es de color amarillo y tampoco es de color negro, por lo
Qu conclusiones se puede sacar de esta situacin?
Es de suma utilidad realizar este tipo de reexiones con nuestros alumnos,
dado que el anlisis de situaciones como sta fomenta el inters y refuerza
la motivacin en torno al tema que se est desarrollando. Esto porque no
se le aborda directamente de una manera bsicamente conceptual en la que
se bombardea a los alumnos con una serie de conceptos, deniciones y
propiedades o procesos, sino, ms bien, permite que vayan construyendo
La Negacin
El smbolo tambin se
lee:
no es cierto que
es falso que
no es posible que
La conjuncin
Es una proposicin compuesta
bsica que resulta de
relacionar dos proposiciones
simples mediante el conector
lgico y, que se simboliza
por .
Una conjuncin es verdadera
nicamente si las dos propo-
siciones que la componen son
verdaderas; en los otros casos
es falsa.
11
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
su propio conocimiento de una forma muy signicativa. Obviamente, este
conocimiento ser formalizado posteriormente por nosotros.
Adems, el desarrollo de este tipo de estrategias colabora de manera muy
signicativa en el proceso de desarrollo de habilidades relacionadas a las
capacidades de resolucin de problemas; y a la capacidad de pensamiento
crtico.
La Disyuncin Inclusiva ( p v q )
Al igual que en la Conjuncin, antes de presentar la Tabla de Verdad de la
Disyuncin Inclusiva sera de mucha utilidad analizar una situacin real en la
que se utilice este conector lgico como parte del proceso de comunicacin
entre las personas. Esto permitir desarrollar un mayor nivel de comprensin
del porqu de la estructura y comportamiento lgico de este conector.
Marco Antonio le pregunta a su esposa Andrea:
- A dnde quieres ir a almorzar, amor?
- Al restaurante Sabor peruano.
- Qu vas a pedir?
- Arroz con pollo o aj de gallina.
Qu quiso decir Andrea cuando contest que iba a pedir Arroz con pollo
o aj de gallina?
Dado que su respuesta la estructur a partir de una disyuncin inclusiva,
esto signica que pedir alguno de los dos platos. Como la Disyuncin
que utiliz fue Inclusiva (se denomina disyuncin inclusiva debido a que
incluye la posibilidad que se cumplan las dos armaciones a la vez), existe
la posibilidad de que pida los dos platos.
Cuando llegan al mencionado restaurante y le toman el pedido a Andrea
pueden darse cuatro posibilidades:
I. Que pida arroz con pollo y tambin pida aj de gallina, con lo que la
respuesta a la pregunta de su esposo fue verdadera.
II. Que s pida arroz con pollo pero no pida aj de gallina, con lo que la
III. Que no pida arroz con pollo pero s pida aj de gallina, con lo que la
IV. Que no pida arroz con pollo y tampoco pida aj de gallina, con lo que la
respuesta a la pregunta de su esposo fue falsa.
La Disyuncin Exclusiva ( p q )
Al igual que en la Conjuncin y la Disyuncin Inclusiva, antes de presentar la
Tabla de Verdad de la Disyuncin Exclusiva sera de mucha utilidad analizar
una situacin real en la que se utilice este conector lgico como parte del
proceso de comunicacin entre las personas. Esto permitir ampliar el nivel de
diferenciacin de este conector y la disyuncin inclusiva, as como desarrollar
un mayor nivel de comprensin del porqu de la estructura y comportamiento
lgico de este conector.
La disyuncin exclusiva
Tambin es importante
destacar la existencia de otro
tipo de disyuncin llamada
la disyuncin exclusiva, la
que podemos relacionar con
la diferencia simtrica de
conjuntos.
p q
Disyuncin exclusiva
p q p q
V V V
V F V
F V V
F F F
12
Serie 2 / DIDCTICA
DE LA MATEMTICA
Observemos un ejemplo:
Rosa Mara entra feliz a su ocina y le dice a sus amigos: Chicos, adivinen
qu noticias les traigo!. Carolina, su mejor amiga, le contesta: Por lo feliz
que ests, o te aceptaron el proyecto o te ascendieron.
Qu quiso decir Carolina cuando le contest a Rosa Mara: O te aceptaron
el proyecto o te ascendieron?
Dado que Carolina estructur su respuesta a partir de una disyuncin
exclusiva, esto signica que cree que a Rosa Mara le sucedi una de las
dos cosas. Como la Disyuncin que utiliz fue Exclusiva (se denomina
disyuncin exclusiva debido a que excluye la posibilidad de que se cumplan
las dos armaciones a la vez), no considera la posibilidad de que a Rosa
Mara le haya sucedido las dos cosas al mismo tiempo.
Cuando llega la hora del almuerzo y Rosa Mara puede terminar de contarles
a sus amigas lo que hizo, pueden darse cuatro posibilidades en relacin a la
respuesta que dio Carolina:
I. Que a Rosa Mara le hayan aceptado el proyecto y que tambin la hayan
ascendido, con lo cual la respuesta que dio Carolina sera falsa.
II. Que a Rosa Mara s le hayan aceptado el proyecto, pero no la hayan
ascendido, con lo cual la respuesta que dio Carolina sera verdadera.
III. Que a Rosa Mara no le hayan aceptado el proyecto, pero s la hayan
ascendido, con lo cual la respuesta que dio Carolina sera verdadera.
IV. Que a Rosa Mara no le hayan aceptado el proyecto y que tampoco la
hayan ascendido, con lo cual la respuesta que dio Carolina sera falsa.
Qu diferencias encuentras en relacin con la Disyuncin Inclusiva?
El Condicional. ( p q )
A diferencia de los Conectores Lgicos tratados previamente, en este caso
consideramos que es necesario hacer una serie de aclaraciones previas al
anlisis y posterior desarrollo de este conector.
Comencemos por aclarar la siguiente pregunta: Qu se entiende por un
Condicional y cul es su estructura?
El Condicional, al igual que los otros conectores lgicos, es una Proposicin
Compuesta; pero, a diferencia de los dems, las proposiciones que lo
componen cumplen funciones totalmente distintas, es decir, que en la
estructura de este conectivo lgico es necesario identicar cada una de sus
partes y comprender cul es la funcin que stas cumplen.
Un Condicional est compuesto de dos partes, el Antecedente (la condicin)
y el Consecuente (la consecuencia). En la estructura bsica del Condicional
representado por la frmula lgica p q se cumple que:
p : Es el Antecedente (la condicin)
q : Es el Consecuente (la consecuencia)
Esto signica que la frmula lgica p q representa a una Proposicin
Compuesta que est Condicionada de p a q.
El Condicional
En nuestra labor docente, el uso
del Condicional es constante.
Citemos algunos ejemplos:
Si estudian, entonces podrn
aprobar el examen con
facilidad.
Si hacen travesuras,
entonces no saldrn al
recreo.
Si realizan la tarea, entonces
obtendrn dos puntos extras.
Como podemos apreciar, el
empleo del Condicional es
frecuente en nuestro quehacer
diario, por ello, debemos
procurar emplearlo con
propiedad.
13
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
La estructura lgica de una Proposicin Condicionada parte del principio
de que si se cumple la condicin (proposicin representada por el
Antecedente), se debe cumplir la consecuencia (proposicin representada
por el Consecuente); es por esta razn que es de suma importancia que en
un condicional se identique en qu sentido est dada la condicin, para as
poder determinar sin lugar a dudas cul proposicin representa al Antecedente
y cul al Consecuente.
En el desarrollo de esta unidad es muy recomendable realizar estas
aclaraciones con los estudiantes, pues los errores ms comunes que se
presentan son:
I. Obviar la identicacin del Antecedente y el Consecuente, con lo cual
se corre el riesgo de alterar el orden del Condicional.
II. Considerar que las frmulas lgicas p q y q p representan a
la misma Proposicin Compuesta.
Luego de haber realizado estas aclaraciones previas, analicemos una
situacin real en la que se utilice este conector lgico como parte del proceso
de comunicacin entre las personas. Esto permitir desarrollar un mayor
nivel de comprensin del porqu de la estructura y comportamiento lgico
de este conector.

Con la intencin de motivar a sus estudiantes para una prueba, el docente de
Matemtica decide hacerles el siguiente ofrecimiento:
Si alguno de ustedes obtiene ms de 16 en la prueba, entonces le invitar
un sndwich.
A la semana siguiente, los estudiantes rinden el examen y ahora estn a la
espera de sus notas y de ver si el docente Alonso cumple con lo ofrecido.
Como podemos observar, el docente Alonso Ponce estructur su ofrecimiento
a partir de un Condicional en donde el Antecedente (Condicin) es obtener
ms de 16 en la prueba, y el Consecuente (Consecuencia) es invitar un
sndwich.
Es conveniente dividir el ofrecimiento en dos partes:
I. Los estudiantes que obtuvieron 16 ms en la prueba: En este caso
pueden presentarse dos situaciones:
Que un estudiante haya obtenido 16 ms en la prueba y que
el docente Alonso le haya invitado el sndwich, por lo tanto, el
ofrecimiento que hizo el docente Ponce fue verdadero.
Que un estudiante haya obtenido 16 ms en la prueba y que el
docente Alonso no le haya invitado el sndwich, por lo tanto, el
ofrecimiento que hizo el docente Ponce fue falso.
II. Los estudiantes que no obtuvieron 16 ms en la prueba: En este caso
no se cumpli el antecedente, es decir, no se cumpli con la condicin
por lo tanto, el docente no est en la obligacin de cumplir con la
consecuencia (el consecuente); de ah que, el ofrecimiento que hizo el
docente Ponce debe considerarse como verdadero, les invite o no el
El docente motiv a
sus estudiantes con una
proposicin compuesta en la
que se emplea el conectivo
condicional.
14
Serie 2 / DIDCTICA
DE LA MATEMTICA
matemticas
curiosidades
sndwich, ya que ninguno de estos estudiantes est en condiciones de
decir que el docente ha mentido.
Qu conclusiones se pueden sacar de esta situacin?
Sera lo mismo haber hecho el siguiente ofrecimiento: Si no obtienen 16
ms en la prueba, entonces no les invito un sndwich?
El Bicondicional. ( p q )
Luego de haber desarrollado el anlisis completo del Condicional ser
bastante sencillo entender la estructura lgica de un Bicondicional, sin
necesidad de tener que realizar mayores explicaciones.
Bastar con hacer una interpretacin de la palabra Bicondicional. sta
signica que es una doble condicin (dos condicionales), por lo tanto,
la estructura lgica del Bicondicional se desarrolla a partir de un doble
condicional.
Esto quiere decir que la estructura de un Bicondicional representado por
la frmula lgica p q debe ser entendida como un doble condicional
conformado por los condicionales: pq y q p
1.3 Clases de proposiciones
Existen dos clases de proposiciones:
a. Proposicin simple: son aquellas proposiciones que carecen de
conectores lgicos.
Luciano es primo de Cecilia.
Amrica es el continente ms poblado del mundo.
b. Proposicin compuesta: son aquellas proposiciones que contienen al
menos un conector lgico.
Lima no es la capital de Argentina.
Si Juan es esposo de Ana, entonces Vctor es concuado de Jorge.
Saturno tiene 4 satlites o Marte no es ms grande que Venus.
A estas alturas y luego de las explicaciones que se han dado en relacin a los
conceptos ya desarrollados, los estudiantes no encuentran grandes problemas
en la comprensin y diferenciacin de esta clasicacin, sin embargo,
suelen cometer un error de interpretacin, el cual consiste en considerar
que una proposicin es compuesta, si y slo si, est conformada por dos
o ms proposiciones simples. En relacin a este error de interpretacin es
oportuno hacer las siguientes aclaraciones:
I. La categorizacin de una proposicin como proposicin compuesta
est condicionada a la existencia de al menos un conector lgico
(puede ser uno solo) y no a la cantidad de proposiciones simples que la
componen.
Se tiene una superficie
cuadrangular formada por 64
cuadraditos. Esta super ficie ha
sido dividida en 4 piezas como
indica la figura:
Con esas cuatro piezas se ha
formado otras dos superficies.
Una de ellas tiene forma rec-
tangular y est compuesta por
65 cuadraditos.
La otra super ficie es como
se muestra en la figura y est
formada por 63 cuadraditos:
Cmo es posible que el rea
de estas figuras sea diferente
si estn hechas con las
mismas piezas?
15
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
matemticas
curiosidades
II. La proposicin compuesta ms sencilla que existe es aquella que
trabaja a partir de la Negacin de una proposicin simple (Un tomo
de carbono no tiene 9 electrones).
III. Una proposicin compuesta puede construirse a partir de proposiciones
simples o a partir de otras proposiciones compuestas.
IV. En una proposicin compuesta que contenga dos o ms conectores
lgicos, la jerarqua de estos se determina en funcin a la interpretacin
de la redaccin y los signos de puntuacin.
1.4 Variables proposicionales
Son las letras mediante las cuales se representan a las proposiciones simples;
por lo general, se utilizan las letras: p , q , r , s.
Por ejemplo:
Proposiciones Simples Variables Proposicionales
Lucas es primo hermano de Paula p
Renato es hermano de Sandra q
scar es cuado de Carolina r
Es importante mencionar a los estudiantes que el objetivo de todos los temas
desarrollados en este captulo (proposicin, conectores lgicos, clases de
proposiciones y variables proposicionales) tiene como objetivo darles las
herramientas necesarias para poder expresar las proposiciones del lenguaje
formal bajo una estructura de lenguaje matemtico.
1.5 Frmulas lgicas
Se denomina as a la adecuada combinacin de variables proposicionales,
conectores lgicos y signos de agrupacin.
~ p ^ ( q ~ r )
( r v ~ s ) ~ ( q ~ p )
[ ~ ( p ~ q ) q ] ~ ( q ~ p )
Las frmulas lgicas representan la estructura lgica de las proposiciones
compuestas, es decir, que mediante la adecuada combinacin de variables
proposicionales, conectores lgicos y signos de agrupacin se puede
representar el lenguaje natural en un lenguaje de estructura matemtica.
Por ejemplo:
Dadas las siguientes variables proposicionales, determinar la estructura
lgica de las siguientes proposiciones compuestas.
p: Lucas es primo hermano de Paula.
q: Renato es hermano de Sandra.
r: scar es cuado de Carolina.
a. No es el caso que, Renato no es hermano de Sandra y scar es cuado
de Carolina.
La Proposicin es una proposicin compuesta. Por qu?
Los conectores lgicos de su estructura son :
Dos negaciones y una conjuncin. Por qu?
Lo que sucede es que las
piezas no han sido colocadas
encajando perfectamente
una con otra. En el caso de
la primera super ficie de 65
cuadraditos los lados de las
piezas no coinciden y existe
entre ellas unas pequeas
separaciones que son
imperceptibles y sumadas dan
el cuadradito extra.
En el caso de la siguiente
superficie de 63 cuadraditos
algunos lados de las piezas
estn superpuestos, restando
de esta manera un total de
superficie del tamao de un
cuadradito.
Puedes construir con papel
cuadriculado un cuadrado de
10x10 cuadraditos, cortar las
piezas como muestra la figura
y armar las dos superficies
que se muestran para verificar
lo expresado anteriormente.
http://www.geocities.com/
inunc/Logica/Logica01.htm
16
Serie 2 / DIDCTICA
DE LA MATEMTICA
Un mate...
Las Proposiciones Simples que la componen son :
Renato es hermano de Sandra (representada por la variable
proposicional q).
scar es cuado de Carolina (representada por la variable
proposicional r).
Por lo tanto, la estructura lgica de la proposicin compuesta que
estamos analizando est representada por la siguiente frmula
lgica:
~ ( ~ q ^ r )
b. Lucas no es primo hermano de Paula si y slo si; no es cierto que, o
Renato es hermano de Sandra o Luis no es cuado de Carolina.
La Proposicin es una proposicin compuesta.
Los conectores lgicos de su estructura son :
Tres negaciones, un bicondicional y una disyuncin exclusiva.
La Proposiciones Simples que la componen son :
Lucas es primo de Paula (representada por la variable proposicional
p).
Renato es hermano de Sandra (representada por la variable
proposicional q).
Luis es cuado de Carolina (representada por la variable
proposicional r).
Por lo tanto, la estructura lgica de la proposicin compuesta que
estamos analizando est representada por la siguiente frmula
lgica:
~ p ~ ( q ~ r )
Como se habr podido observar en los dos ltimos ejemplos, el proceso
mediante el cual se desarrolla la frmula lgica que representa la estructura
de una determinada Proposicin Compuesta puede (hasta cierto punto)
esquematizarse mediante las siguientes recomendaciones:
I. Es bastante obvio que la primera recomendacin es garantizar que el
enunciado sea una Proposicin Compuesta.
II. Es de suma utilidad identicar cules son los conectores lgicos que
forman la estructura de la Proposicin Compuesta (revise la tabla del
tema 1.2, pg. 9).
III. Luego del paso anterior mediante una simple inspeccin se podr
reconocer sin mayor dicultad cules son las Proposiciones Simples
que conforman a la Proposicin Compuesta que estamos analizando.
IV. Se debe asignar una Variable Proposicional a cada una de las
Proposiciones Simples que se ha identicado.
V. En caso de que la Proposicin Compuesta contenga a dos o ms conectores
lgicos, se debe determinar cul es la jerarqua de estos. sta sin lugar
a dudas es la etapa de mayor grado de dicultad de todo el proceso,
dado que requiere de un nivel de comprensin, interpretacin y anlisis
- Doctor, doctor, estoy
muerto.
- Pero oiga, eso es imposible.
- Que s, que es cierto,
examneme.
- Pero qu tontera, vamos
a ver, usted estar de
acuerdo en que los muertos
no sangran?
- S, claro.
- Bueno, pues le voy a
pinchar un dedo con este
alfiler y si usted sangra,
eso significar que usted
est vivo, no?
- Claro, pinche y ver cmo
no sangro.
- Entonces el mdico
le pincha el dedo, y
obviamente saca una
gotita de sangre; entonces,
sonriendo, le dice al
paciente:
Qu me dice ahora?
- De acuerdo, yo estaba
equivocado. Los muertos
pueden sangrar.
http://chistes.
developers4web.com/chistes-
de-logica/humor-1
17
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
Actividad 1
bastante complejo; para ello es necesario comprender la redaccin y
hacer una adecuada interpretacin de los signos de puntuacin.
Es muy importante tener en cuenta que en esta etapa es donde los
estudiantes muestran mayores dicultades, ello debido bsicamente a
dos razones:
El bajo nivel de comprensin lectora que han desarrollado.
El desconocimiento de la jerarqua de los signos de puntuacin,
debido a que no han desarrollado una adecuada capacidad de
redaccin.
Es recomendable que los estudiantes tomen conciencia de esta situacin
y es responsabilidad de nosotros los docentes motivarlos y ayudarlos
a superar estas deciencias; ya que si no se pone nfasis en los dos
aspectos mencionados, es poco probable que se pueda desarrollar
con xito la estructura lgica de una Proposicin Compuesta, lo que
repercute directamente en la capacidad de resolucin de problemas.
VI. Si se logr determinar la jerarqua de los conectores lgicos y a qu
Proposiciones (pueden ser simples o compuestas) relacionan, se podr
plantear la frmula lgica utilizando las variables proposicionales que
se denieron en la etapa IV, los signos de los conectores lgicos que
se identicaron en la etapa II, y los signos de agrupacin que sean
necesarios para respetar la jerarqua determinados en la etapa V.
Interioriza los fundamentos y nes del proceso de aprendizaje de la Lgica Proposicional, mediante
el anlisis y discusin del porqu de su aprendizaje, mostrando tolerancia y apertura.
I. Investiga acerca de la historia de la Lgica Proposicional en las siguientes direcciones, y elabora
un resumen didctico y un mapa conceptual para tus alumnos:
- http://enfenix.webcindario.com/logica/historia.phtml
- http://www.mor.itesm.mx/~al332002/tarea1.html
- http://www.mor.itesm.mx/~logica/log9808/evolucion.html
Renanse con sus compaeros de rea del colegio y, si es posible, con sus colegas de otras
comunidades para realizar un pequeo taller sobre el tratamiento de la Lgica Proposicional en la
educacin secundaria. Tengan presente lo siguiente:
Elijan a un moderador y secretario(a) que anote los comentarios y/o conclusiones a que se
lleguen.
Todas las opiniones son valiosas, deben ser escuchadas con respeto.
Si se encuentran con dos ideas opuestas, disctanlas para llegar a un consenso al respecto.
Todas las personas tienen algo valioso que compartir, aceptemos con agrado lo que tengan que
decir y compartamos con los dems nuestras experiencias.
Elaboren un resumen de los puntos tratados y entreguen una copia a cada participante.
18
Serie 2 / DIDCTICA
DE LA MATEMTICA
II. Determina cules de las siguientes expresiones son proposiciones y cules no lo son. Explica
por qu.
a. Napolen naci en la isla de Marsella.
b. Prxima Centauro es la galaxia ms cercana a la Tierra.
c. Hernando Corts conquisto Mxico?
d. La velocidad de la luz es de aproximadamente 300 000 km/s.
e. El Diodo est compuesto por el nodo y el ctodo.
f. Jos! Atiende la clase!
g. Aurelio es primo hermano de Patricia.
h. El nmero atmico del Cromo es 24.
i. En qu batalla muri Francisco Bolognesi?
j. U2 es la mejor banda de rock del mundo.
k. Canad es el pas ms poblado del planeta.
l. (a + b)
2
+ (a b)
2
= 2(a
2
+ b
2
)
m. 7x
2
+ 5x 18 = 6x
2
+ 9x + 3
n. (3x + 2y 49)
2
+ (7x 5y + 13)
2
< 0
o. [12 4 3 8
3
(24 5 4) + 16] = 6
p. (4m 3)
2
+ 13m 2m
2
3(5 2m)
III. Determina cules de las siguientes proposiciones son simples y cules son compuestas:
a. El pico ms alto del Per es el Alpamayo.
b. El nmero 240 tiene 20 divisores.
c. El nmero atmico del nitrgeno es 7 y tiene dos capas de electrones.
d. La velocidad de un mvil es cero, si y slo si, se desplaza a velocidad constante.
e. El Mximo Comn Divisor de 280 y 360 es 40.
IV. Identica cules son las proposiciones simples y los conectores lgicos de cada una de las
siguientes proposiciones compuestas.
a. Saturno no es el planeta ms grande del Sistema Solar.
b. Si Ricardo es padre de Manuel, entonces Mara es hermana de Arturo o de Jorge.
c. No es cierto que la Tierra es redonda y no gire alrededor del Sol.
d. O el smbolo qumico de la plata es Au o es Ag.
V. Dadas las variables proposicionales: p, q , r , s:
p : Juan es hermano de Laura.
q : Laura es cuada de Vernica.
r : Sebastin es primo de Luis.
s : Santiago es hijo de Andrea.

Determina la frmula lgica de cada una de las siguientes proposiciones compuestas.
a. Si Juan no es hermano de Laura, entonces Sebastin es primo de Luis.
b. No es cierto que Santiago es hijo de Andrea y Laura no es cuada de Vernica.
c. Sebastin es primo de Luis, si y slo si, Juan no es hermano de Laura o Santiago es hijo
de Andrea.
d. Si Laura no es cuada de Vernica o Sebastin no es primo de Luis, entonces Santiago es
hijo de Andrea.
19
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
2. TABLAS
de
VERDAD
2.1 Tablas de Verdad de los Conectores lgicos
Una Tabla de Verdad nos permite visualizar bajo qu condiciones de las
variables proposicionales una frmula lgica toma un valor verdadero y bajo
qu condiciones toma un valor falso. Es decir, que en una tabla se analiza el
comportamiento de los valores de verdad de una frmula lgica en relacin
a los valores de verdad de sus variables proposicionales.
Por otro lado, sabemos que la estructura de cualquiera de los Conectores
lgicos es una Proposicin Compuesta y que toda Proposicin
Compuesta puede ser representada mediante una combinacin de variables
proposicionales y smbolos lgicos organizados jerrquicamente en una
frmula lgica.
En relacin a la estructura de una Tabla de Verdad es importante tener en
cuenta que sta se desarrollar en funcin a la informacin necesaria para su
anlisis e interpretacin, por lo tanto, toda Tabla de Verdad se construir en
base a cuatro partes, cada una de ellas correspondientes a:
Las variables proposicionales de la frmula lgica: en esta parte se
colocarn todas las variables proposicionales que conformen la frmula
lgica, ordenadas alfabticamente.
Las diferentes combinaciones que se pueden establecer entre los posibles
valores de verdad de las variables proposicionales: no debemos dejar de
tener presente que cuando se evala una frmula lgica no se conoce
cules son las proposiciones que estn representado cada una de la
variables proposicionales, por lo tanto, no se podr determinar cul es el
valor de vedad de stas. Esto implica que para cada variable proposicional
se deber considerar dos posibilidades, una en la que su valor de verdad
sea Verdadero y otra en la que su valor de verdad sea Falso.
Para determinar cuntas diferentes combinaciones se puede establecer
entre los posibles valores de verdad de cada una de las variables
proposicionales se debe tener en cuenta el principio de multiplicidad en
relacin a la cantidad de variables proposicionales.
La estructura de la frmula lgica en s.
El anlisis de la frmula lgica: en esta parte se desarrollar el proceso
de anlisis e interpretacin de la frmula lgica en la que se determinar
bajo qu condiciones de las variables proposicionales la frmula lgica es
Verdadera y bajo qu condiciones es Falsa.
Combinaciones de los valores
de verdad de las variables
proposicionales.
Para 1 proposicin
P
V
F
tenemos: 2 = 2
1
combinaciones.
Para 2 proposiciones
F
V
F
V
V
F
P
tenemos: 4 = 2
2
combinaciones.
Para 3 proposiciones
F
V
F
V
V
F
V
F
P
F
V
F
V
V
F
tenemos: 8 = 2
3
combinaciones.
Luego, para n proposiciones
tendremos:
2
n
combinaciones
20
Serie 2 / DIDCTICA
DE LA MATEMTICA
Variables
proposicionales
Estructura de la
frmula lgica
Combinaciones de
los valores de verdad
de las variables
proposicionales
Anlisis de la frmula
lgica
Tabla de Verdad de la Negacin.
Dado que esta frmula lgica depende nicamente de una variable
proposicional, sta tendr solamente dos diferentes combinaciones de los
posibles valores de verdad de sus variables proposicionales.
Del anlisis de la Tabla se deduce fcilmente que si una proposicin es
verdadera el valor de verdad de su negacin ser falso, por el contrario, si
una proposicin es falsa, el valor de verdad de su negacin ser verdadero.
Por ejemplo: Cul es el valor de verdad de la negacin de la siguiente
proposicin simple?:
La capital de Francia es Pars.
La negacin de esta Proposicin Simple sera la siguiente Proposicin
Compuesta : La capital de Francia no es Pars.
Dado que el valor de verdad de la Proposicin Simple es verdadero, el
valor de verdad de su Negacin (Proposicin Compuesta) ser Falso.
Tabla de Verdad de la Conjuncin.
Recordando que la estructura ms sencilla de una Conjuncin es aquella
que relaciona dos Proposiciones Simples, la frmula lgica ms sencilla que
representa a una conjuncin es p q.
Dado que esta frmula lgica depende de dos variables proposicionales, sta
tendr cuatro diferentes combinaciones de los posibles valores de verdad de
sus variables proposicionales.
Del anlisis de la Tabla se deduce que una conjuncin solamente ser
verdadera si es que las dos Proposiciones que la constituyen son verdaderas
(primera la de la tabla).
Si analizamos las otras tres posibilidades de combinacin de las variables
proposicionales, se puede inferir que en una Conjuncin basta que alguna de las
Proposiciones que la componen sea falsa para que la Conjuncin sea falsa.
Por ejemplo: Cul es el valor de verdad de la siguiente Proposicin
Compuesta?:
Asia es el continente ms extenso y Amrica es el continente ms poblado
del planeta.
Como se habr podido deducir, la Proposicin Compuesta es una
Conjuncin formada por dos Proposiciones Simples.
Asia es el continente ms extenso.
Amrica es el continente ms poblado.
Dado que el valor de verdad de la primera Proposicin es verdadero
y el valor de verdad de la segunda Proposicin es falso, el valor de la
Conjuncin (Proposicin Compuesta) es Falso.
p p
V F
F V
p q p q
V V V
V F F
F V F
F F F
Estas cuatro partes se organizarn de la siguiente manera:
http://www.greggayden.com/
europe/Eiffel%20Tower%207.jpg
21
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
Tabla de Verdad de la Disyuncin Inclusiva. ( p v q )
Recordando que la estructura ms sencilla de una Disyuncin Inclusiva es
aquella que relaciona dos Proposiciones Simples, la frmula lgica ms
sencilla que la representa es p v q.
Del anlisis de la Tabla se deduce que una Disyuncin Inclusiva solamente
ser falsa si es que las dos Proposiciones que la constituyen son falsas (ltima
la de la tabla).
Si analizamos las otras tres posibilidades de combinacin de las variables
proposicionales, se puede inferir que en una Disyuncin Inclusiva basta
que alguna de las Proposiciones que la componen sea verdadera para que la
Disyuncin Inclusiva sea verdadera.
Por ejemplo: Cul es el valor de verdad de la siguiente Proposicin Compuesta?:
El nitrgeno es un metal o tiene siete electrones.
Disyuncin Inclusiva formada por dos Proposiciones Simples.
El nitrgeno es un metal.
El nitrgeno tiene siete electrones.
Dado que el valor de verdad de la primera Proposicin es falso y el valor de
verdad de la segunda Proposicin es verdadero, el valor de la Disyuncin
Inclusiva (Proposicin Compuesta) es Verdadero.
Tabla de Verdad de la Disyuncin Exclusiva. (p q)
Recordando que la estructura ms sencilla de una Disyuncin Exclusiva
es aquella que relaciona dos Proposiciones Simples, la frmula lgica ms
sencilla que la representa es p q.
Del anlisis de la Tabla se deduce que una Disyuncin Exclusiva ser
verdadera si es que solo una de las dos Proposiciones que la constituyen es
verdadera (segunda y tercera la de la tabla).
Si analizamos las otras dos posibilidades de combinacin de las variables
proposicionales, se puede inferir que en una Disyuncin Exclusiva basta
que las proposiciones que la componen tomen el mismo valor de verdad para
que la Disyuncin Exclusiva sea verdadera.
Por ejemplo: Cul es el valor de verdad de la siguiente Proposicin Compuesta?:
O Napolen fue emperador de Francia o muri en la isla de Santa Elena.
Disyuncin Exclusiva formada por dos Proposiciones Simples:
Napolen fue emperador de Francia.
Napolen muri en Santa Elena.
Dado que el valor de verdad de la primera Proposicin es verdadero y el
valor de verdad de la segunda Proposicin es verdadero, el valor de la
Disyuncin Exclusiva (Proposicin Compuesta) es Falso.
p q p q
V V V
V F V
F V V
F F F
p q p q
V V F
V F V
F V V
F F F
Napolen Bonapar te.
http://upload.wikimedia.org/
wikipedia/commons/thumb/1/11/
Napoleon_Bonapar te.jpg/250px-
Napoleon_Bonapar te.jpg
22
Serie 2 / DIDCTICA
DE LA MATEMTICA
Tabla de Verdad del Condicional. ( p q )
Recordando que la estructura ms sencilla de un Condicional es aquella que
relaciona dos Proposiciones Simples, la frmula lgica ms sencilla que la
representa es p q.
Del anlisis de la Tabla se deduce que un Condicional slo ser falso si es
que el Antecedente es verdadero y el Consecuente es falso (segunda la de
la tabla).
Si analizamos las otras tres posibilidades de combinacin de las Variables
Proposicionales, se puede inferir que en un Condicional basta que la
proposicin que es representada por el Antecedente sea falsa para que el
Condicional sea verdadero.
Por ejemplo: Cul es el valor de verdad de la siguiente Proposicin Compuesta?
Si Arequipa se encuentra a 3 200 msnm, entonces pertenece a la regin
Quechua.
Condicional formada por dos Proposiciones Simples:
Arequipa se encuentra a 3 200 msnm. (Antecedente)
Arequipa pertenece a la regin Quechua. (Consecuente)
Dado que el valor de verdad del Antecedente es falso (puesto que Are-
quipa se encuentra a 2 335 msnm.), el valor del Condicional (Proposicin
Compuesta) es Verdadero.
Tabla de Verdad del Bicondicional. ( p q )
Recordando que la estructura ms sencilla de un Bicondicional es aquella
que relaciona dos Proposiciones Simples, la frmula lgica ms sencilla que
la representa es p q.
Del anlisis de la Tabla se deduce que un Bicondicional slo ser falso si
es que una de las proposiciones que la constituyen es verdadera y la otra es
falsa (segunda y tercera la de la tabla).
Si analizamos las otras dos posibilidades de combinacin de las variables
proposicionales se puede inferir que en un Bicondicional basta que las
proposiciones que la componen tengan el mismo valor de verdad para que el
Bicondicional sea verdadero.
Por ejemplo: cul es el valor de verdad de la siguiente Proposicin Compuesta?:
12 es un nmero compuesto, si y slo si, tiene cuatro divisores.
Como se habr podido deducir, la Proposicin Compuesta es un
Bicondicional formado por dos Proposiciones Simples:
12 es un nmero compuesto.
12 tiene cuatro divisores.
Dado que el valor de verdad de una de las proposiciones es verdadero y
el valor de verdad de la otra proposicin es falso, el valor de verdad del
Bicondicional es falso.
p q p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
Escudo de Arequipa.
23
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
2.2. Desarrollo de Tablas de Verdad de Frmulas Lgicas
Hay que recordar que en la introduccin a las Tablas de Verdad de los
conectores lgicos se realizaron una serie de reexiones, aclaraciones y
anlisis entorno a lo que se entiende por Tablas de Verdad. Sera recomendable
revisarlo antes de iniciar este tema.
En todos los textos en los que se incluye el desarrollo de las Tablas de Verdad
se encontrar una serie de pasos y recomendaciones que se debe tomar en
el proceso de evaluacin de una frmula lgica por medio del anlisis de su
Tabla de Verdad.
Todos estos pueden sintetizarse en tres aspectos que hay que tener en
cuenta:
I. La cantidad de las de la tabla de verdad depender de la cantidad de
variables proposicionales que sta posea. Hay que tener en cuenta el
principio de multiplicidad :
As tendremos que:
2 Variables Proposicionales : 2
2
= 4 las
3
= 8 las
4
= 16 las
De manera general, podemos determinar el nmero de las de la
siguiente manera:
Donde n representa el nmero de variables proposicionales de la frmula
lgica.
Como se mencion anteriormente, hay que tener en cuenta que cada la
de la Tabla de Verdad representa una de las combinaciones de los posibles
valores de verdad de las variables proposicionales de la frmula lgica.
II. En la estructura de la Tabla de Verdad, las variables proposicionales de
la frmula lgica se ordenan alfabticamente, de tal manera que para la
primera variable proposicional la primera mitad de las tenga valores
verdaderos y la segunda mitad de las tenga valores falsos; para la
segunda Variable Proposicional la primera cuarta parte de las tenga
valores verdaderos, la segunda cuarta parte de las tenga valores falsos,
la tercera cuarta parte de las tenga nuevamente valores verdaderos
y la ltima cuarta parte de las vuelva a tener valores falsos; este
ordenamiento continuar hasta que para la ltima variable proposicional
se alterne un valor verdadero y uno falso.
III. La jerarqua de los conectores lgicos, ya que el resultado de la
evaluacin de la frmula lgica por medio del anlisis de la Tabla de
Verdad depender de cul sea el conector de mayor jerarqua.
Ejemplo: Desarrollar la Tabla de Verdad de la siguiente frmula lgica:
~ ( p v ~ q ) r
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Los signos de agrupacin
(parntesis, corchetes, llaves)
son usados para indicar la
jerarqua y evitar ambigedades
en esquemas lgicos ms
complejos.
Recuerda
Recuerda
Tambin podemos utilizar el
siguiente esquema:
( p r) (r q)
como p es falsa, p es
verdadera.
F
F
F
F F
V
F
N
O

E
S
C
R
I
B
I
R
B
E
C
B
O
E
C
B
O
E
24
Serie 2 / DIDCTICA
DE LA MATEMTICA
Dado que la frmula lgica tiene 3 variables proposicionales, la Tabla de
Verdad tiene 8 las: 2
3
= 8
El conector de mayor jerarqua es el Condicional, el cual divide a la
frmula lgica en dos partes, cada una de ellas con un conector lgico de
segunda importancia.
Por lo tanto, el resultado y la interpretacin de ste depender del resultado
del Condicional.
2.3 Tautologas, Contradicciones y Contingencias
Segn el resultado obtenido al evaluar una frmula lgica por medio del
anlisis de Tablas de Verdad, esta frmula lgica podr clasicarse como
una Tautologa, una Contradiccin o una Contingencia.
I. Tautologa
Son aquellas frmulas lgicas que se caracterizan porque al desarrollar su
Tabla de Verdad todos los valores obtenidos para el conector lgico de mayor
jerarqua son verdaderos; es decir, en una Tautologa el valor de verdad que
tome la frmula lgica no depende de los valores de verdad que tomen sus
variables proposicionales.
Esto signica que no importa cules sean los valores de verdad que tomen
las variables proposicionales, el valor de verdad de la frmula lgica siempre
ser verdadero. Es por esta razn que las Tautologas son consideradas como
verdades absolutas.
Ejemplo: (p q) (~ p v q) es una Tautologa
II. Contradiccin
Tabla de Verdad todos los valores obtenidos para el conector lgico de mayor
jerarqua son falsos; es decir, en una Contradiccin el valor de verdad que
tome la frmula lgica no depende de los valores de verdad que tomen sus
variables proposicionales.
Esto signica que no importa cules sean los valores de verdad que tomen las
variables proposicionales, el valor de verdad de la frmula lgica siempre
ser falso. Es por esta razn que las Contradicciones son consideradas como
verdades absolutas.
Ejemplo: (q ~ p) (q p) es una Contradiccin
III. Contingencia
Tabla de Verdad los valores que se obtienen para el conector lgico de mayor
jerarqua son algunos verdaderos y otros falsos. Es decir, en una Contingencia
el valor de verdad que tome la frmula lgica s depender de los valores de
verdad que tomen sus variables proposicionales.
Esto signica que s importa cules son los valores de verdad que tomen
las variables proposicionales, ya que para ciertas combinaciones de stos la
frmula lgica ser verdadera y para otras combinaciones ser falsa.
Ejemplo: (p ~ q) v ~ (~ p q) es una Contingencia.
p p
es una Tautologa
p p
es una Contradiccin
p q
es una Contingencia
25
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
Actividad 2

Identica los procesos del aprendizaje y los mtodos de enseanza de las Tablas de Verdad a travs
de la lectura, anlisis e interpretacin de la informacin proporcionada, mostrando conanza en sus
capacidades.
1. Investiga acerca de la relacin que existe entre la Lgica Proposicional y la Teora de Conjuntos.
Elabora una tabla que muestre esta relacin y presntasela a tus alumnos.
- http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/conjuntos.htm
- http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf
2. Determina la frmula lgica de cada una de las siguientes proposiciones compuestas y encuentra
su valor de verdad.
a. Si 2 no es un nmero primo, entonces 9 tiene tres divisores.
b. No es cierto que el leopardo es un felino o el lobo es un equino.
c. No es cierto que Europa es el continente ms extenso y Oceana no es el continente ms
poblado.
d. O la Tierra no es el segundo planeta ms cercano al Sol, o Marte tiene dos satlites.
3. Desarrolla la Tabla de Verdad de cada una de las siguientes frmulas lgicas y determina si stas
son tautologas, contradicciones o contingencias.
a. ~ ( ~ p q ) ( p ~ q )
b. ( p ~ r ) ~ ( q ~ p )
c. [ ~ ( p ~ q ) q ] ~ ( q ~ p )
d. [ ~ ( p ~ q ) ( ~ r ~ p ) ] ~ ( r ~ p )
4. En cada una de las siguientes frmulas lgicas, determina el valor de verdad de las variables
proposicionales que la componen si se sabe que:
a. p ( q r ) es falsa
b. ~ ( r ~ p ) q es falsa
c. ~ q ( p q ) es verdadera

5. Sabiendo que ~ ( r q ) ~ p es falsa. Determina el valor de verdad de:
a. ( ~ q p ) ~ ( ~ p q )
b. ( r p ) ( ~ q ~ r )
c. [ ( w r ) ( ~ q t ) ] ~ q

6. Sabiendo que p q es falsa y que ~ r s es falsa. Determina el valor de verdad de:
a. ( ~ p q ) ( r s )
b. ( p q ) ( ~ r p )
c. [ ( r p ) s ] w
26
Serie 2 / DIDCTICA
DE LA MATEMTICA
3. JUEGOS en la
ENSEANZA
El juego es una actividad natural en el ser humano, socializa y prepara a las
personas en la competitividad, la asertividad y la tolerancia a la frustracin,
donde se aprende a ganar con humildad y perder con dignidad. Las dos
actividades que presentaremos a continuacin estn basadas en el conocido
pasatiempo de Sopa de Letras y el juego de mesa Naipes o Cartas. Estos
juegos clsicos pueden readaptarse y ser utilizados en clase de Matemtica.
Segn la clasicacin utilizada por el docente Fernando Corbaln, estos juegos
perteneceran a los juegos de procedimiento conocido con modicaciones,
pues sus reglas generales son conocidas por los estudiantes fuera del mbito
escolar.
Si:
p = Verdadero
q = Falso
r = Verdadero
Si:
p = Verdadero
q = Verdadero
r = Falso
Si:
p = Falso
q = Falso
r = Verdadero
Si:
p = Falso
q = Verdadero
r = Falso
Si:
p = Verdadero
q = Falso
r = Verdadero
Si:
p = Verdadero
q = Falso
r = Falso
Si:
p = Verdadero
q = Verdadero
r = Verdadero
Si:
p = Falso
q = Falso
r = Falso
Si:
p = Falso
q = Verdadero
r = Verdadero
Si:
p = Verdadero
q = Falso
r = Falso
Si:
p = Verdadero
q = Falso
r = Falso
Si:
p = Verdadero
q = Verdadero
r = Falso
Si:
p = Falso
q = Falso
r = Falso
Si:
p = Falso
q = Verdadero
r = Falso
Si:
p = Verdadero
q = Falso
r = Verdadero
Si:
p = Verdadero
q = Falso
r = Verdadero
Si:
p = Verdadero
q = Verdadero
r = Verdadero
Si:
p = Falso
q = Falso
r = Verdadero
Si:
p = Falso
q = Verdadero
r = Verdadero
Si:
p = Verdadero
q = Falso
r = Verdadero
Tablero:
de la
LGICA
3.1 Sopa de Proposiciones
Este juego est diseado para que participen desde uno hasta cuatro jugadores, y cada grupo debe tener
un tablero y diecisis tarjetas con frmulas proposicionales como las que vienen a continuacin, adems
de hojas cuadriculadas, lpiz o lapicero, y granos secos (pueden ser botones o chapitas).
27
Tarjetas:
Reglas del juego:
1. Se barajan las 16 tarjetas y se colocan boca abajo sobre la mesa, y cada jugador, por
turno, elige una tarjeta hasta repartir el total de tarjetas. Los granos secos, botones o
chapitas (que tienen que ser tambin 16) se distribuyen en partes iguales a cada jugador,
y servirn para marcar en el tablero su respuesta correcta. La hoja cuadriculada es una
para cada uno.
2. Para cada una de las frmulas lgicas presentadas en cada tarjeta los jugadores deben
determinar el valor de verdad de las variables proposicionales que la componen,
escribiendo su procedimiento en la hoja cuadriculada que se le entreg. Luego,
buscan en la sopa de proposiciones que aparece en el tablero los valores de verdad
que corresponde a cada proposicin y los marcan.
3. Gana el jugador que consigue marcar primero los valores de verdad de las variables
proposicionales, en un tiempo jado de antemano. Si nadie lo ha conseguido, ser
ganador el que ms valores de verdad correctos haya determinado.
El objetivo que pretendemos con este juego es:
Determinar los valores de verdad de las proposiciones que componen una frmula
proposicional dado el valor de verdad de sta ltima, a partir de su tabla de verdad.
En esta adaptacin de la Sopa de Letras, proponemos que los alumnos trabajen las
Tablas de Verdad por lo que las palabras se sustituyen por frmulas lgicas y las letras de
la sopa por variables proposicionales con valores de verdad.
La presentacin de esta actividad permite modicaciones. As, las frmulas lgicas que
aparecen en las tarjetas pueden tener uno o ms conectores lgicos.
La dinmica del juego tambin puede cambiarse, modicando las reglas de juego que
podran ser las siguientes:
1 2 3 4
p q
es falsa
p r
es verdadera
~ r ~ p
es falsa
~ r
es verdadera
5 6 7 8
p q
es falsa
p r
es verdadera
~ r p
es falsa
r ~ q
es verdadera
9 10 11 12
~ p (q r)
es falsa
~ p (q r)
es verdadera
(r ~ p) q
es falsa
~ (r p) q
es verdadera
13 14 15 16
p (q r )
es falsa
p (q r)
es verdadera
~ (r ~ p) q
es falsa
(r p) q
es verdadera
28
1 2 3 4
p q
p = Verdadero
q = Verdadero
p r
p = Verdadero
r = Falso
~ r ~ p
p = Falso
r = Verdadero
~ r q
q = Verdadero
r = Verdadero
5 6 7 8
Verdadero Falso Verdadero Falso
9 10 11 12
p (q r)
p = Verdadero
q = Verdadero
r = Verdadero
~ p (q r)
p =Verdadero
q = Falso
r = Verdadero
(r ~ p) q
p = Verdadero
q = Falso
r = Falso
~ (q p) r
p = Falso
q = Verdadero
r = Falso
13 14 15 16
Verdadero Falso Verdadero Falso
1. Las tarjetas se barajan y se colocan boca abajo sobre la mesa.
2. El jugador que tiene el turno toma una tarjeta y determina los valores de verdad de
las variables proposicionales de manera correcta, sealndolos en la sopa. Si lo hace
correctamente, se anota un punto y pasa el turno al siguiente jugador y la tarjeta
utilizada es eliminada del juego.
3. Si el jugador no determina correctamente los valores de verdad, pierde su turno y no
se anota ningn punto. El jugador siguiente tiene la oportunidad de determinar los
valores de verdad ganando un punto extra por rebote. En caso de no hacerlo pasara
al siguiente.
4. Si el jugador que le toca se equivoca y algn contrincante lo descubre, el jugador
pierde su turno y el contrario se anota un punto por haber determinado correctamente
los valores de verdad.
5. La partida acaba despus de haber dado cuatro rondas, pasando por todos los
jugadores. Gana quien tenga ms puntuacin.
Tambin podra jugarse sin tarjetas, solamente utilizando el tablero. Jugaran dos estudiantes
y cada uno de ellos con el tablero por delante, construira cuatro frmulas proposicionales
y les dara un valor de verdad a partir de los valores de verdad de las proposiciones de
4 casilleros que elijan de la sopa. Despus, los jugadores se intercambian las frmulas
proposicionales para determinar los valores de verdad de las variables proposicionales
que las componen y sealarlos en la sopa de proposiciones. El primero que determine los
valores de verdad de las proposiciones de manera correcta, gana la partida.
3.2 Cartas Lgicas
Este juego est diseado para que participen dos jugadores y cada uno debe tener 16
tarjetas con frmulas proposicionales como las que vienen a continuacin, adems de
hojas cuadriculadas, lpiz o lapicero.
Cartas
29
METODOLGICOS EN
LGICA MATEMTICA
EN SECUNDARIA
Actividad 3
Investiga y sugiere actividades que permitan a tus estudiantes comprender, interpretar y aplicar
los conceptos, deniciones y propiedades de la Lgica Proposicional, a travs del anlisis de las
actividades y materiales presentados, manifestando creatividad y conanza en tus habilidades.
1. Elabora una Sopa de Proposiciones y un juego de Cartas Lgicas (20 cartas) siguiendo los
modelos presentados, pero realizando algunas variaciones. Puedes reunirte con otros docentes y
compartir tus trabajos, de esta manera se enriquecern unos con otros y todos saldrn beneciados.
Es conveniente confeccionar el tablero y las tarjetas en material duradero (puede ser cartn delgado)
y forrarlos para que se conserven en buen estado, as obtendrn un material que puedan usar durante
varios aos.
2. Renete con tus colegas de rea y distribyanse una direccin electrnica cada uno para investigar
sobre La pldora del da siguiente:
La Anticoncepcin de Emergencia: Nuevo Engao del Movimiento Antivida
http://www.aciprensa.com/vida/emergencia.htm
La pldora del da siguiente (AOE)
http://www.terra.com.pe/religion/pildorads.shtml
La pldora del da siguiente nueva amenaza contra la vida
http://www.udep.edu.pe/publicaciones/desdelcampus/art1122.html
La pldora del da siguiente: Marxismo, pldora y revolucin sexual
http://www.reconquistaperu.org/modules/sections/articulo-26.html
Cada integrante del equipo debe redactar un resumen con las ideas ms importantes tratadas en la
direccin electrnica que visit.
Luego renanse para compartir sus opiniones al respecto de este tema.
Elaboren 10 proposiciones compuestas referidas a este tema que puedan presentarse a los alumnos
para que determinen su frmula lgica as como su valor de verdad. Finalmente pueden recomendar
a los estudiantes que visiten estas direcciones.
Reglas del juego:
1. Se baraja las 16 cartas y se colocan boca abajo sobre la mesa y cada
jugador, por turno, elige una carta hasta repartirlas todas.
2. El jugador que est de turno lanza la primera carta a la mesa.
3. Si la carta sobre la mesa es una frmula lgica, el siguiente jugador
lanza una carta que tenga su valor de verdad. Si la carta tiene un valor
de verdad, lanzar una carta que tenga una frmula lgica con el mismo
valor de verdad de la carta sobre la mesa.
4. Si el jugador no puede bajar ninguna carta, cede el turno al siguiente
jugador.
5. Gana el jugador que consigue bajar primero todas sus cartas a la mesa.
El objetivo que pretendemos con este juego es:
Determinar el valor de verdad de una frmula lgica, dados los valores de
verdad de las proposiciones que la componen.
30
Lee atentamente y luego de analizar cada interrogante o actividad da solucin a los aspectos que
as lo requieran.
1. Fundamenta las razones de una educacin en Lgica proposicional e indica a qu edad
consideras que sta debe iniciarse y explica por qu.
2. Cules consideras que deben ser los procedimientos de una educacin en Lgica matemtica?
Por qu?
3. Plantea una situacin problema que te lleve a ti y a los estudiantes a desarrollar los contenidos
del tema de lgica proporcional. Desarrolla la experiencia o sesin de aprendizaje.
4. Elabora actividades en la que tus estudiantes se involucren al desarrollar conceptos de Lgica
proposicional.
5. Crea un juego en el que tus estudiantes puedan aplicar algunos de los conceptos de Lgica
proposicional, desarrollados en clase.
Proyecto de investigacin:
Qu relacin existe entre el lgebra de Boole y la Lgica Proposicional?
A continuacin, te brindamos algunas direcciones que puedes tomar como base para este
proyecto:
- http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
- http://w3.mor.itesm.mx/~logica/log9808/cmodulo2.html
- http://www.monograas.com/trabajos/iarticial/pagina4_11.htm
Tambin te damos algunas recomendaciones que pueden servirte para estructurar esta
investigacin.

1. Es necesario que conozcas los conceptos, deniciones y propiedades relacionados con:
Frmulas Lgicas Equivalentes.
Leyes del lgebra Proposicional.
Proposiciones Lgicas Equivalentes.
2. Se debe formalizar un proceso mediante el cual se puedan utilizar las leyes del lgebra
Proposicional como un medio que permita generar proposiciones equivalentes.
4. EVALUACIN
31

Responde en una hoja aparte:
1. De qu manera te organizaste para leer el fascculo y desarrollar las actividades
propuestas?
2. Te fue fcil comprender el enunciado de las actividades? Por qu?
3. Si no te fue fcil, qu hiciste para comprenderlo?
4. Qu pasos has seguido para desarrollar cada una de las actividades?
5. Cules de estos pasos te presentaron mayor dicultad?
6. Cmo lograste superar estas dicultades?
7. Al resolver la evaluacin, qu tems te presentaron mayor dicultad?
8. Qu pasos has seguido para superar estas dicultades?
9. En qu acciones de tu vida te pueden ayudar los temas desarrollados en este
fascculo?
10. Qu nivel de logro de aprendizaje consideras que has obtenido al nalizar este
fascculo?
5. METACOGNICIN
Metacognicin es la habilidad de pensar sobre el discurso del propio pensamiento, es decir,
sirve para darnos cuenta cmo aprendemos cuando aprendemos.
Muy bueno Bueno Regular Deciente
Por qu?
11. Crees que las actividades de investigacin fueron realmente un trabajo de equipo?
Explica.
12. Tuviste la oportunidad de compartir tus conocimientos con algunos de tus colegas?
Qu sentimientos provocaron en ti este hecho?
N O E S C R I B I R
32
1. Copi, Irving M. Introduccin a la Lgica. Buenos Aires. Editorial Universitaria de Buenos
Aires, 1974.
Es un estudio de la Lgica presentado con claridad y concisin; se expresa con gran precisin
los principales trminos y temas. Tiene gran variedad de ejercicios extrados de la vida
real.
2. Chvez Noriega, Alejandro. Introduccin a la Lgica. Lima. Ediciones Amaru, 1984.
El propsito principal de la obra es servir a los estudiantes y lectores no familiarizados
con la Lgica, acercndolos al conocimiento ms amplio de los elementos fundamentales
de esta disciplina. Examina con el mayor rigor el lenguaje comn y el lenguaje cientco.
Desarrolla la formacin y el manejo de las estructuras lgicas, su transformacin y aplicacin
en las tareas del quehacer reexivo.
3. Trelles Montero, scar; Morales Papa, Digenes. Introduccin a la Lgica. Lima. Fondo
Editorial de la Ponticia Universidad Catlica del Per, 2000.
Busca conducir al lector por los temas centrales de la Lgica. Explora nuevos campos y
aplica nuevos mtodos de investigacin. Desarrolla la Lgica proposicional y la Lgica
cuanticacional, esclareciendo conceptos corrientes hoy en da. Provee de las herramientas
intelectuales para animar al estudiante al establecimiento de la verdad formal, de importancia
capital en el objeto de esta disciplina.
BIBLIOGRAFA
comentada
1. http://usuarios.iponet.es/ddt/logica1.htm
Pgina del profesor J. Biedma donde se aporta una serie de artculos sobre conceptos bsicos
de la Lgica, as como un curso on-line sobre el libro Introduccin a la lgica de I.M. Copi.
2. http://enfenix.webcindario.com/logica/
Aula virtual de Lgica en la que se presentan diversos temas de Lgica o Razonamiento
Lgico desarrollados durante Quinto Ao de Educacin Secundaria en el Per. Esperamos
que los datos aqu presentados sean de mucha utilidad y que le saques el mximo provecho a
la informacin brindada.
3. http://www.wwnorton.com/college/phil/logic3/welcome.htm (pgina en ingls)
Web administrada por M.K. Green con contenidos sobre clasicacin, denicin, falacias,
Lgica silogstica (silogismos categoriales, disyuntivos e hipotticos), Lgica proposicional,
Lgica de predicados, induccin, analoga... Adems, tiene muchos ejercicios.
4. http://www.liccom.edu.uy/bedelia/cursos/metodos/materiales.html
Muy buena pgina web en la que se encontrarn teora, ejemplos y problemas diversos
referidos a la Lgica proposicional, presentados de una manera sencilla y comprensible, con
ejemplos didcticos.
ENLACES
web

Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

Hochgeladen von

Copyright:

Verfügbare Formate

Matemtica

Serie 2 para docentes de Secundaria

Condicional Si entonces, luego

Das könnte Ihnen auch gefallen