n

Facultad de Educacio

Escuela de Pedagoga en Matematica y Estadstica

tica
Asignatura: Fundamentos de la Matema

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 2: Estructura Weaire-Phelan

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

Sean p y q proposiciones. Detetermine si la proposicion

[p (p q)] q
es una tautologa, una contradiccion, o una contingencia.
Respuesta:

. Actividad

Si la proposicion p q es falsa, entonces cual es el valor de verdad de la siguiente

proposicion?
[p (q r)] [(p r) q].
Respuesta:

2 de 5

. Actividad

Se sabe que la siguiente proposicion es Falsa

[( p q) r] (r p).
Determine el valor de verdad de la proposicion
[(p r) (q p)] [( q r) p].
Respuesta:

. Actividad

Escriba el contrarrecproco de la siguiente proposicion.

n, m N : n m par = (n par) (m par).
Respuesta:

. Actividad

Niegue la siguiente proposicion

T : (x R)(x2 4x + 4 < 0 x > 0).
Respuesta:

3 de 5

. Actividad

Considere el enunciado T : (x > 0 y > 0) x y > 0.

1. Escriba en lenguaje cotidiano, lo mas simple posible, el enunciado anterior.
2. Utilizando el Contra-recproco reescriba en lenguaje cotidiano el enunciado T .
3. Encuentre una expresion equivalente para T .
Respuesta:

4 de 5

. Actividad

Considere el conjunto A = {2, 1, 1, 2} y las proposiciones

p :(x A)(y A)(x < y xy > 0).
q :(x A)(y A)(2x y < 0).
a) Determine si p es verdadera o falsa.
b) Determine si q es verdadera o falsa.
c) Escriba la negacion de p.
d) Escriba la negacion de q.
Respuesta:

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