Académique Documents
Professionnel Documents
Culture Documents
Facultad de Educacio
Secuencia Did
actica I: L
ogica Proposicional
Introducci
on
Imaginemos que tenemos un plano enorme infinito y lo queremos cubrir con piezas iguales
sin dejar agujeros, por ejemplo, podramos usar cuadrados o triangulos (crculos no, puesto que
dejan agujeros). Cual es la mejor pieza que podemos usar? Pappus de Alejandra, en el a
no
300, dijo que la mejor forma es usar hexagonos, como hacen las abejas cuando construyen su
panal. Pero Pappus no lo demostro, se quedo en lo que se conoce como una conjetura.
En 1999 (1700 a
nos despues), Thomas Hales, demostro que Pappus (y las abejas) tenan razon.
As la conjetura de Pappus, se convirtio en teorema, el Teorema del Panal, que sera una
verdad para siempre.
Pero que pasa, si pensamos en 3 dimensiones, es decir, si queremos llenar el espacio con piezas
iguales, sin dejar agujeros, podemos usar cubos cierto? (esferas no, puesto que dejan agujeros).
Cual es la mejor pieza que podemos usar?, Lord Kelvin, dijo que la mejor pieza es usar un
octaedro truncado, pero Kelvin no lo demostro, se quedo en una conjetura, la conjetura de
Kelvin. Luego, algunos a
no mas tarde, Weaire y Phelan, encontraron un conjetura mejor, una
pieza que se lo conoce con el nombre de sus creadores. Pero esta sigue siendo una conjetura
hasta que alguien demuestre que la estructura de Weaire y Phelan es la mejor pieza posible
para cubrir el espacio tridimensional.
Figura 1: Hexagonos
Para que una aseveracion sea considerada como verdadera, y no sea una simple conjetura, esta
debe ser demostrada. La logica proposicional es la herramienta que nos permite construir la
matematica, es la herramienta que nos permite comunicar la matematica de forma universal.
La logica, nos ayuda, a construir una demostracion en matematica. En esta secuencia didactica,
recordaremos los elementos mas importantes de la logica proposicional, a traves, de una serie
de actividades.
1 de 5
Actividades
. Actividad
. Actividad
2 de 5
. Actividad
. Actividad
. Actividad
3 de 5
. Actividad
4 de 5
. Actividad
5 de 5
Resumen
Conectivos L
ogicos
Conjunci
on
p
q
pq
V
V
V
V
F
F
F
V
F
F
F
F
Disyunci
on
p
q
pq
V
V
V
V
F
V
F
V
V
F
F
F
Condicional
p
q
p
V
V
V
F
F
V
F
F
q
V
F
V
V
Bicondicional
p
q
pq
V
V
V
V
F
F
F
V
F
F
F
V
Disyunci
on excluyente
p
V
V
F
F
q
V
F
V
F
pYq
F
V
V
F
Algebra
de Proposiciones
( p) p
Leyes de Morgan
Idempotencia
(p q) p q
(p q) p q
ppp
ppp
Negaciones importantes
Conmutatividad
(p q) (p q)
pq qp
(p q) (p q) (q p)
pq qp
Otras
Asociatividad
(p q) r p (q r)
(p q) (p q) (q p)
(p q) r p (q r)
(p q) (p q) ( p q)
(p q) r p (q r)
(p q) ( p q)
Distributividad
Contra-recproca
p (q r) (p q) (p r)
(p q) ( q p)
p (q r) (p q) (p r)
6 de 5