Profesorado de Matemática

Álgebra I – Primer año

Profesora Noemí Haponiuk

Álgebra I

Clase 04

Revisando resoluciones del TP N° 1

➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷
Vamos a comenzar revisando las resoluciones de los ejercicios del práctico que ya corregimos en el foro.
Estas son algunas formas de resolución en base a un borrador de resueltos, claro que lo que les presento,
no son las únicas formas de resolución.

¡Vamos con los videos!

Lógica Proposicional - Resolución de TP1 - Parte 1 (punto 1)

https://youtu.be/AOF9psdNmok
Lógica Proposicional - Resolución de TP1 - Parte 2 (punto 2)
https://youtu.be/8WTDeNtuu1s
Lógica Proposicional - Resolución de TP1 - Parte 3 (punto 3.1.2.3.4)
https://youtu.be/oIhjNSkfBJU
Lógica Proposicional - Resolución de TP1 - Parte 4 (punto 3.5.6.7)
https://youtu.be/dWDJctLg4kA
Lógica Proposicional - Resolución de TP1 - Parte 5 (punto 3.8 a 15)
https://youtu.be/QDwsFNG9lZc
Lógica proposicional - Ley de simplificación (punto 3.10 TP1)
https://youtu.be/CI3zd2UQvi4
Lógica Proposicional - Resolución de TP1 - Parte 6 (punto 4 y punto 5?
https://youtu.be/2ov0DEVskC4

1
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

Definiciones, teoremas, proposiciones y demostraciones

➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷

Definición
Una definición es una explicación exacta y sin ambigüedad del significado de un término u objeto
matemático.

Ejemplos:

Definición 1: Un número entero n es par si existe un entero k, tal que n=2k.

Definición 2: Un número entero n es impar si existe un entero k, tal que n=2k+1.

De estas definiciones se debe observar que un entero es par o es impar pero no ambos a la vez.

Es importante señalar que las definiciones generalmente se expresan como proposiciones condicionales,
aunque lo más adecuado sería expresarlas como proposiciones bicondicionales. Por ejemplo, la definición
de número entero par debería ser:

Un número entero n es par si y sólo si existe un entero k, tal que n=2k.

Entonces,

Una definición se expresa como proposicional condicional pero por convención se interpreta como
proposición bicondicional.

Definición 3: Dados dos enteros a y b, si b=ac, para algún entero c, decimos que a divide a b, y
escribimos a│b. En esta situación, a es divisor de b y b es múltiplo de a.

Definición 4: Un número natural p es primo si sus únicos divisores son uno y p.

2
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

Teorema
Un teorema es una proposición matemática que es verdadera y puede ser (y ha sido) verificada como
verdadera.

Los teoremas usualmente son proposiciones condicionales del tipo 𝑃 ⇒ 𝑄, aunque el enunciado del
teorema o proposición a veces oculta este hecho.

Cuando un teorema se expresa como un condicional 𝑝 ⇒ 𝑞, la proposición p se llama hipótesis y la

proposición q se llama tesis.

No todo teorema es una proposición condicional. Algunos tienen la forma bicondicional 𝑝 ⇔ 𝑞 (que
puede expresarse como dos proposiciones condicionales). Otros teoremas son simplemente proposiciones
P: Por ejemplo: Existe infinitos número primos.

Básicamente, en todo teorema se distinguen tres partes:

Hipótesis: supuestos o datos conocidos

Tesis: lo que se quiere demostrar

Demostración: procedimiento lógico en el que se utilizan los conocimientos previos para mostrar la
verdad de un teorema.

Demostración
Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como
verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos
pasos deben estar fundamentados en la aplicación de reglas de deducción (fundadas ya sea en axiomas o
en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión). El
hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la
demostración de la negación de este resultado implica que es falso.

Demostrar un teorema se reduce a demostrar que un condicional es verdadero: 𝑉(𝑝 → 𝑞) = 𝑉

Aunque en general no existe un procedimiento único de demostración de teoremas, sí existen diferentes

tipos de demostraciones que son utilizados comúnmente en matemáticas:

3
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

1) Método directo
2) Método indirecto o contrarrecíproco
3) Reducción al absurdo

Demostraciones de teoremas en forma de condicional

➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷

Forma directa
La forma más natural de demostración de un teorema o proposición que es una proposición condicional
es la demostración directa. Analizando la tabla de verdad para 𝑝 → 𝑞, vemos que si queremos demostrar
el teorema, es suficiente demostrar que q es verdadera siempre que p lo sea.

Entonces, en la demostración directa se parte del valor de verdad del antecedente y se tiene en cuenta que:

a) Si 𝑉(𝑝) = 𝐹, nada hay que probar pues 𝑉(𝑝 → 𝑞) = 𝑉.

b) 𝑉(𝑝) = 𝑉, habrá que probar que el 𝑉(𝑞) = 𝑉 para que sea 𝑉(𝑝 → 𝑞) = 𝑉

Así, en una demostración directa de 𝑝 → 𝑞 asumimos que la hipótesis p es verdadera y demostramos que
la tesis q es verdadera.

El inicio de la demostración comienza con demostración y finaliza con cqd (como queríamos demostrar),
qed (Quod erat demonstrandum-lo que se quería demostrar) o su extensión lqqd, con símbolos como el
cuadrado relleno (∎) (símbolo de Halmos), a veces también se usa un cuadrado vacío (□), o dos barras de
división (//).

Ejemplo: Demostrar en forma directa que si un número entero es divisible por 10, lo es también por 5.

H) 𝑥 ∈ 𝑍, 𝑥 = 10𝑘, 𝑐𝑜𝑛 𝑘 ∈ 𝑍 (Un número entero x es divisible por 10)

T) 𝑥 = 5𝑞, 𝑐𝑜𝑛 𝑞 ∈ 𝑍 (x es divisible por 5)

D)

𝑥 = 10𝑘 por H

𝑥 = 5.2. 𝑘 por factoreo de 10

𝑥 = 5. (2. 𝑘) asociativa de la multiplicación en Z

4
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

Como 2 y k son enteros, 2k también es entero porque la multiplicación es cerrada en Z. Llamando q a 2k

resulta:

𝑥 = 5. 𝑞, 𝑐𝑜𝑛 𝑞 ∈ 𝑍 ∎

Forma indirecta o contrarrecíproco

La demostración por contrarrecíproco se usa para demostrar, al igual que la demostración directa, teoremas
y proposiciones que tienen la forma condicional 𝑝 → 𝑞. Esta forma de demostración se basa en el hecho
de que 𝑝 → 𝑞 es lógicamente equivalente a (~𝑞) → (~𝑝).

De esta manera, si queremos demostrar 𝑝 → 𝑞 por contrarrecíproco, bastará demostrar (~𝑞) → (~𝑝)
usando una demostración directa. Esto es, asumimos que: (~𝑞) es verdadera y demostramos que (~𝑝) es
verdadera.

Entonces, demostrar en forma indirecta consiste en partir del valor de verdad del consecuente:

a) Si 𝑉(𝑞) = 𝑉, nada hay que demostrar pues 𝑉(𝑝 → 𝑞) = 𝑉.

b) Si 𝑉(𝑞) = 𝐹 habrá que probar que 𝑉(𝑝) = 𝐹 para que el 𝑉(𝑝 → 𝑞) = 𝑉.

Partimos de la negación de la tesis para llegar a la negación de la hipótesis porque si 𝑉(~𝑞 → ~𝑝) = 𝑉,
entonces 𝑉(𝑝 → 𝑞) = 𝑉.
Ejemplo: Demostrar que si el producto de dos números enteros es impar, cada uno también lo será.
Dicho de otra forma: Si el producto de dos números enteros es impar entonces cada factor es impar.
H) 𝑎, 𝑏 ∈ 𝑍 𝑦 𝑎𝑏 = 2𝑘 + 1, 𝑐𝑜𝑛 𝑘 ∈ 𝑍
T) a y b impares
D) Planteamos el contrarrecíproco: Si a o b son enteros pares, entonces su producto es par.
p: El producto de dos números enteros, a y b, es impar.
~𝑝: El producto de dos números enteros a y b, es par.
q: a es entero impar y b es entero impar.
~𝑞: a es entero par o b es entero par (negación de una conjunción)
Para demostrar que 𝑉(~𝑞 → ~𝑝) = 𝑉 supongo a par (también podría suponer que b es par o que ambos
son pares porque estamos ante una disyunción).
Si a es par entonces existe un entero k tal que 𝑎 = 2𝑘 por definición de número entero par.
Multiplico miembro a miembro 𝑎 = 2𝑘 por el entero b

5
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

𝑎𝑏 = 2𝑘𝑏, por multiplicación de enteros,

𝑎𝑏 = 2(𝑘𝑏) por asociativa de la multiplicación en Z,
𝑎𝑏 = 2𝑟 con r entero por ser la multiplicación de enteros cerrada
𝑎𝑏 es par por definición de número par.
Hemos demostrado que 𝑉(~𝑞 → ~𝑝) = 𝑉 por lo tanto 𝑉(𝑝 → 𝑞) = 𝑉, entonces, si el producto es impar,
los factores son impares. ∎
Otra forma de pensar en el cierre de esta demostración es observar que ab par niega la hipótesis, la hace
falsa y esto no es posible. Esta contradicción surge del hecho de suponer que la Tesis (a y b impares) es
falsa, por lo tanto la tesis es verdadera. ∎

Reducción al absurdo o por contradicción

Una demostración por reducción al absurdo comienza suponiendo que el teorema es falso, se desarrolla la
demostración en forma directa deduciendo lógicamente nuevas proposiciones hasta encontrar dos
proposiciones que se contradicen, esta contradicción es el absurdo porque una proposición y su negación
no pueden ser verdaderas. Como la contradicción surge del supuesto inicial de que el teorema es falso,
resulta que el teorema es verdadero.
Entonces, para demostrar por reducción al absurdo partimos de considerar que 𝑉(𝑝 → 𝑞) = 𝐹, es decir
que 𝑉(𝑝) = 𝑉 𝑦 𝑉(𝑞) = 𝐹. Partimos de una hipótesis verdadera y de una tesis falsa y desarrollamos hasta
que surja una contradicción (absurdo). De esta manera, si el supuesto inicial 𝑉(𝑝 → 𝑞) = 𝐹 es erróneo,
resulta que 𝑉(𝑝 → 𝑞) = 𝑉.
Ejemplo: Demostrar que si 𝑥 2 es par, entonces 𝑥 es par.
H) 𝑥 ∈ 𝑍 𝑦 𝑥 2 es par
T) 𝑥 es par
D) Suponemos que el teorema es falso.
Partimos de que 𝑥 es impar.
Si supongo que 𝑥 es impar entonces existe 𝑘 ∈ 𝑍 tal que
𝑥 = 2𝑘 + 1, elevamos al cuadrado
𝑥 2 = (2𝑘 + 1)2 , desarrollamos el cuadrado
𝑥 2 = 4𝑘 2 + 4𝑘 + 1, aplicamos asociativa y distributiva
𝑥 2 = 2(2𝑘 2 + 2𝑘) + 1, ℎ𝑎𝑐𝑒𝑚𝑜𝑠 2𝑘 2 + 2𝑘 = 𝑟 𝑐𝑜𝑛 𝑟𝑥 ∈ 𝑍
𝑥 2 = 2𝑟 + 1 , 𝑥 2 es impar, pero 𝑥 2 es par por H!!! Absurdo.

6
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

Entonces el teorema no es falso y 𝑥 es par. ∎

Ejemplo: Demostrar que dos rectas paralelas a una tercera, son paralelas entre sí.

El método de reducción al absurdo puede utilizarse para demostrar la verdad de cualquier proposición, no
es necesario que se trate de una proposición condicional.
Por ejemplo, demostrar que el número √2 es irracional.
Antes de iniciar la demostración recordemos que un número racional es un número real de la forma
𝑎
donde a y b son números enteros y 𝑏 ≠ 0 y que un número irracional es un número real que no es
𝑏

racional.
Demostración (por contradicción)
Suponemos que √2 es racional.
𝑎
Si √2 es racional existen a y b números enteros y 𝑏 ≠ 0 tal que √2 = 𝑏 .
𝑎
Suponiendo que 𝑏 sea irreducible, no es posible que a y b sean ambos pares.

Elevando al cuadrado miembro a miembro y aplicando distributiva y cancelativa resulta:

𝑎2
2 = 𝑏2 , y luego 𝑎2 = 2𝑏 2

Esto nos dice que 𝑎2 es par. Pero hemos demostrado anteriormente que si 𝑎2 es par, entonces a es par.
Como sabemos que a y b no son ambos pares, se concluye que b es impar.
Ahora, como a es par, existe un entero c tal que 𝑎 = 2𝑐.
Sustituyendo en 𝑎2 = 2𝑏 2 obtenemos que
(2𝑐)2 = 2𝑏 2 y por distributiva resulta 4𝑐 2 = 2𝑏 2 , entocnes 𝑏 2 = 2𝑐 2 y en consecuencia 𝑏 2 es par y por
lo tanto b es par. De esta manera, b es impar y b es par (Absurdo). ∎

Conjeturas y contraejemplos
➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷
Hay tres grandes categorías de proposiciones matemáticas:
1. Teoremas y Proposiciones. Estas son proposiciones verdaderas. Por ejemplo, el Teorema de
Pitágoras, el cuadrado de un número impar es impar.
2. Conjeturas. Estas son proposiciones cuya verdad o falsedad aún no ha sido demostrada, pero hay
indicios de que son verdaderas. Por ejemplo, cualquier número entero par mayor que 2 es la suma

7
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

de dos números primos (Conjetura de Goldbach), hay una infinidad de números primos de la forma
2𝑛 − 1; donde n es un entero positivo.
3. Proposiciones Falsas. Por ejemplo, todos los números primos son impares.

¿Cómo demostrar que una proposición es falsa?

Supongamos que queremos demostrar que una proposición P es falsa. La manera de hacerlo es
demostrando que ~𝑃 es verdadera, y esto lo podemos hacer, en teoría, mediante una demostración directa,
por contrarrecíproco o por contradicción.
Ahora supongamos que queremos demostrar que una proposición condicional 𝑃 → 𝑄 es falsa. Como 𝑃 →
𝑄 es falsa únicamente cuando P es verdadera y Q falsa, debemos hallar un ejemplo en el cual P es
verdadera y Q falsa. La existencia de tal ejemplo demuestra que 𝑃 → 𝑄 es falsa. Un ejemplo de este tipo
es lo que se llama un contraejemplo.
Por ejemplo, consideremos la siguiente conjetura (pues no sabemos si es verdadera o es falsa):
Si n es un entero, entonces 𝑛2 + 𝑛 + 11 es un número primo.
Si hallamos el valor de 𝑛2 + 𝑛 + 11 para algunos valores de n se verá que la conjetura parece verdadera,
pues todos los números obtenidos en cada caso son primos.
n -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10
𝑛2 + 𝑛 + 11 17 13 11 11 13 17 23 31 41 53 67 83 101
Esto no basta para concluir que la conjetura es verdadera. Habrá que hacer una demostración. Antes de
intentar una demostración, probemos un valor más para n, por ejemplo 10: 102+10+11=121 y 121 no es
primo. En consecuencia, la conjetura es falsa, pues 𝑛 = 10 es un contraejemplo.
Así, podemos escribir la siguiente demostración de que es falsa:
Demostración (de que la conjetura es falsa): La proposición Si n es un entero, entonces
𝑛2 + 𝑛 + 11 es un número primo es falsa. Para un contraejemplo, tomemos 𝑛 = 10; y el entero
102+10+11=121 =11 x11 no es primo. ∎
¿Y cómo saber si un número es primo?
Para saber si un número es primo o compuesto basta con dividirlo por los números primos menores que
él hasta llegar a un cociente igual o menor que el divisor.
 Si ninguna de estas divisiones es exacta, el número es primo.
 Si alguna de las divisiones es exacta el número es compuesto y podemos interrumpir el proceso.
Ejemplos: Vamos a ver si los números 163, 181 y 721 son primos o compuestos.

8
 Profesorado de Matemática
Álgebra I – Primer año
Profesora Noemí Haponiuk

Vamos con unos videos para ir revisando lo que leímos.

Demostración de teoremas: https://youtu.be/tELJaZ_N_y4

Demostración de teoremas por forma directa: https://youtu.be/oTxG3wZvgtI
Demostración de teoremas por forma indirecta: https://youtu.be/GBylxutcUAs
Demostración de teoremas por reducción al absurdo: https://youtu.be/aVdoKRY08CE
Aclaraciones sobre el punto 9 del práctico: https://youtu.be/fmO6W5w3KXQ
Un ejemplo de demostración por contrarrecíproco: https://youtu.be/P8EesebKtnE

Actividades
➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷➹➷➹➷➹➷➹ ➷➹➷➹➷
Con lo visto hasta la clase de hoy, pueden seguir avanzando hasta el punto 11 del práctico.