Maestrı́a en Enseñanza de las Matemáticas

Instituto de Matemáticas
Facultad de Ciencias Exactas y Naturales
Universidad de Antioquia

Didáctica de la Lógica y la Geometrı́a.

Tarea 1

Angel Blanco Peralta

Luis Rivera Reinel
Victor Torres Gordillo
Profesor :MG. Ana Celi Tamayo Acevedo

Medellin
2018
Didáctica de la Lógica y la Geometrı́a Tarea 1 Universidad de Antioquia

1. Proponga un sistema formal para generar los números enteros.

Sintaxis
Alfabeto:−♠
Axioma :−

Reglas de tranformación:
1)  ⇒ −♠
2)  ⇒ ♠−
Donde 1 y 2 son formulas bien formadas.

Semántica
♠:Representa la unidad
–: Representa el cero
 : Representa, al interior del sistema formal, cualquier hilera de ♠
−: Representa el número positivo correspondiente al número de corazones en 
−: Representa el número negativo correspondiente al número de ♠ en 
Teoremas con sus demostraciones
Teorema 1: Al aplicar una vez la regla 1 al axioma obtenemos −♠ osea 1.
Teorema 2: Al aplicar dos veces la regla 1 al axioma se obtiene −♠♠ que corresponde
al número 2.
Por otro lado al aplicar la regla 2 al axioma una vez obtenemos: ♠− que representa el
número -1, si plicamos tres veces la regla 2 al axioma obtenemos ♠♠♠− que representa
−3
Al aplicar la reglas 1 y 2 una infinidad de veces al axioma obtenemos. el conjunto de
los números enteros.

Fbf Interpretación
.. ..
. .
−♠♠♠♠... n ∴ n ∈ Z+
.. ..
. .
−♠♠♠ 3
−♠♠ 2
−♠ 1
− 0
♠− -1
♠♠− -2
♠♠♠− -3
.. ..
. .
...♠♠♠− k ∴ k ∈ Z−

2
Didáctica de la Lógica y la Geometrı́a Tarea 1 Universidad de Antioquia

2. Considere el siguiente teorema con su demostración (texto tomado de la dirección http:

//calculo21.blogspot.com.co/2008/10/demostracin-de-la-irracionalidad-de-raz.
html
Teorema: La raı́z cuadrada de 3 es irracional.
a) Represente gráficamente esta demostración en un diagrama de argumentos
Proposiciones
√
1) P : 3 es racional
p
2) Q : ∴ p, q ∈ Z+ q 6= 0
q
3) U : mcd(p, q) = 1
4) R : p2 = 3q 2
5) S : p = 3k ∴ k ∈ Z+
6) T : q 2 = 3k 2
7) V : q = 3k 0 conk 0 ∈ Z+
Luego
"" ! # #
 
(U ∧ (P → Q)) → (R ∧ T ) → (S ∧ V ) → ¬U → ¬P

Con base a lo anterior procedemos a realizar el diagrama.

√
Figura 1: Diagrama de argumentos para la demostración que 3 es irracional.

3
Didáctica de la Lógica y la Geometrı́a Tarea 1 Universidad de Antioquia

b) Represente la demostración en una tabla de proposiciones y razones.

Proposiciones
√ Razones
1) 3 es un numero racional Hipótesis (Método de reducción al absurdo)
√ p
2) 3 = p, q ∴∈ Z+ y q 6= 0 Definición de numero racional
q
3)mcd(p,√ q) = 1 fracción irreducible Hipótesis auxiliar
4)p = √ 3q despeje de p en 2
2 2
5)p = ( 3q) elevando al cuadrado en 4
6) p2 = 3q 2 Potencia de un producto
7)p2 , es multiplo de 3 . existe un q 2 ∈ Z+ : p2 = 3q 2 de 6
8)p es multiplo de 3 de 7
+
9)p = 3k ∴ k ∈ Z de 8 def. multiplo de un número
2 2
10)(3k) = 3q sustitución de 9 en 6
11) 9k 2 = 3q 2 de 10 potencia de un producto.
2 2
12) q = 3k de 11, despeje de q 2
2
13)q es multiplo de 3. existe un k 2 ∈ Z+ : q 2 = 3k 2 de 12
14) q es multiplo de 3 de 13
15) p es multiplo de 3 y q es multiplo de 3 de 8 y 14
16) 3 divide a p y a q de 15
17) contradicion de 3 y 16
√ p
18) 3 no es de la forma de 17
√ q
19) 3no es racional es decir es irracional de 18

3. Proponga un juego con los bloques lógicos para introducir el concepto de contenencia de
conjuntos a estudiantes de secundaria mayores de 10 años. En términos formales, quere-
mos aproximar los estudiantes a la definición de la relación A ⊂ B (A, son subconjuntos
de un universo U y A está contenido en B). no realizado hsta el momento

4. Proponga un contraejemplo para ilustrar que ∀ no se distribuye con respecto a ∨, es

decir, ∀tP (t) ∨ ∀tQ(t) 6≡ ∀t (P (t) ∨ Q(t)) Note que la equivalencia está negada (hay
un palito que la corta). En su propuesta debe presentar un conjunto universalU y
predicados
Contraejemplo consideremos el conjunto universal los números naturales. U = N
P (t) : t es un número par.
Q(t) : t es un número
impar con base a lo anterior tenemos la expesión ∀t (P (t) ∨ Q(t)) traduce todo número
natural es impar o par, lo cual es verdadero. por otro lado tenememos
∀tP (t) ∨ ∀tQ(t) significa que todos los números naturales son pares o impares lo caul
es falso. por tanto se puede concluir que ∀v no se distibuye con respecto a ∨

4
Didáctica de la Lógica y la Geometrı́a Tarea 1 Universidad de Antioquia

5. Use las reglas de inferencia de los gráficos α de Peirce para demostrar el siguiente
teorema de la lógica proposicional. De las premisas B → ¬C y ¬ (D ∧ ¬B) se puede
concluir B → ¬D
Esto se suele escribir también en la forma

B → ¬C
¬ (D ∧ ¬B)
B → ¬D

A partir de las premisas dadas no se puede concluir la tesis que se propone para de-
mostar tal echo utilizaremo una tabla de verdad, el objetivo es mostrar que nos es una
tautologia.

Figura 2: Tabla verdad

De acuerdo con la tabla se puede inferir que no se puede concluir la conclusión dada,
por lo tanto no es posible aplicar las reglas de inferencia de los gráficos α de Peirce .

6. Considere el siguiente “teorema” sobre las propiedades de los números reales con su
demostración:Teorema. Si a = b, entonces 2 = 1.

Figura 3: Teorema. Si a = b, entonces 2 = 1.

a) ¿Dónde está el error?

5
Didáctica de la Lógica y la Geometrı́a Tarea 1 Universidad de Antioquia

El error esta en el paso 5 ya que no se puede cancelar a − b en 4, porque como

hipótesis a = b , entonces a − b = 0. y 0 no posee inverso multiplicativo, contradi-
ciendo el axioma de extistencia del inverso multiplicativo(∀a ∈ R, ∴ a 6= 0, ∃a−1 ∈
R : a × a−1 = 1 = a−1 × a)
b) ¿Qué tipo de demostración es? Recuerde que puede ser de varios tipos (revisar la
clasificación de la clase).
serı́a una demostración directa porque solo se utiliza la hipotesis, tal y como esta
dada,y apartir de los axiomas y propiedad de los números reales la va transfor-
mando hasta llegar a la conclusión o tesis.