UNIVERSIDAD NACIONAL DE EDUCACIÓN

Enrique Guzmán y Valle

Alma Máter del Magisterio Nacional

FACULTAD DE CIENCIAS

Complemento de
Matemática
Profesor

Aurelio Julián GÁMEZ TORRES

Clase 21 octubre 2021

 Reducción al absurdo

Contrarrecíproco

Métodos
Inducción
Indirectos

Doble implicación o bicondicional

Contraejemplo
 Doble implicación o bicondicional

El recíproco de la implicación A → B es B → A. Obviamente si se cumple una implicación no

tiene por qué cumplirse necesariamente la otra.

Por ejemplo, si A representa a la propiedad de que un número natural es múltiplo de 6 y B a

la de ser múltiplo de 3, tenemos que A → B pero su recíproco es cierto (¿sabría
demostrarlo?).

Cuando se tiene que tanto la implicación A → B como su recíproco B → A son ciertas,

decimos que las condiciones A y B son equivalentes y empleamos el signo de la doble
implicación. En los textos aparece desarrollada esta doble implicación en sentencias del tipo:

“Probar que A y B son equivalentes”

“Probar que se cumple A si, y sólo si, se cumple B”

“Una condición necesaria y suficiente para que se dé A es que se verifique B”

Cuantificador Universal y Existencial
 Previos

 Definiciones

Def 1.- Un número entero es par si existe un entero b tal que a=2b
Def 2.- Un número entero es impar si existe un entero b tal que a = 2b +1
Def 3.- Un número entero positivo es primo si sólo es divisible por si mismo y por la
unidad.
Def 4.- Un número b es divisor de a si existe c tal que a = cb
b│a ⇒ ∃ c / a= c x b
Def 5.- Sea el conjunto = { 0,1,2,3,4,5, . . .}, llamaremos a n el conjunto de los múltiplos
de n.
Ejemplo: 3 = { 0,3,6,9,12, . . .} Conjunto de los múltiplos de 3
 Tarea

Demostrar

P1: Demostrar que si a es par entonces a2 es par.

P2: Demostrar que si a2 es par entonces a es par.

P3: Demostrar que si a es impar entonces a2 es impar.

P4: Demostrar que si a2 es impar entonces a es impar.

P5: Si a | b y a | c entonces a | b+c

P6: Si a | b y a | c entonces a | bxc

P7: Si a | b y b | c entonces a | c
 Demostrar
P1: Demostrar que si a es par entonces a2 es par.
P2: Demostrar que si a2 es par entonces a es par.
P: Demostrar que a es par si y sólo si a2 es par.
( P1 ⇒ P2) ∧ ( P2 ⇒ P1) ≡ ( P1 ⇔ P2 )
Demostración
a) P1 ( h ⇒ t)
Si a es par entonces a2 es par
Por H1, a es par entonces a=2n
Por PM, a2 = 4n2
a2 = (2x2)n2 = 2(2n2)
a2 = 2k Por lo tanto a2 es par
b) P2 ( t ⇒ h)
Si a2 es par entonces a es par
Por H2, a2 es par , entonces a2 = 2m ( De aquí no puedo inferir que a es par)
Entonces, ante la imposibilidad de demostrar P2, demuestro su contrarrecíproco
~t ⇒ ~h
Si a no es par entonces a2 no es par
Si a es impar entonces a2 es impar
Por H, a es impar: a = 2p+1, entonces a2 = (2p+1)2=
a2 = 4p2+ 4p + 1 = 2 (2p2 + 2p) + 1 = 2q + 1

a2 = 2q + 1 . . . . . . . . . . . . a2 es impar

h⇔t
 Tarea
Def 1.- Z=NxN/R (a,b) R (c,d) ⇔ ad = bc
Def 2.- Se dice que el entero x es un entero positivo si es de la forma x = (a, 0), a ≠ 0
Def 3.- Se dice que el entero y es un entero negativo si es de la forma y = (0, b), b ≠ 0
Def 4.- Sean x=(a,b) , y = (c,d) dos números enteros y el producto de estos enteros es
x.y = (ac + bd, ad + bc).
Demostrar
1.- El producto de dos enteros positivos es positivo
2.- El producto de un entero positivo por un entero negativo es un entero negativo.
3.- El producto de dos enteros negativos es un entero positivo.
 
PREVIOS

Sean A, B, C tres conjuntos

Def 1.- A c B ⇔ [ x A ⇒ x B ]

Def 2.- A = B ⇔ A c B ∧ B c A

Def 3.- A U B = { x / x A v x B } ≡ [ x A U B ⇔ x A v x B ]

Def 4.- A ∩ B = { x / x A ∧ x B } ≡ [ x A ∩ B ⇔ x A ∧ x B ]

Def 5.- A’ = { x / x A }

Def 6.- A - B = { x / x A ∧ x B } ≡ [ x A - B ⇔ x A ∧ x B ]
 TAREA

Ejercicio 1.- Demostrar que A ∩ B = B ∩ A

Ejercicio 2.- Demostrar que A U B = B U A

Ejercicio 3.- Demostrar que A ∩ ( B ∩ C ) = ( A ∩ B ) ∩ C

Ejercicio 4.- Demostrar que A U ( B U C ) = ( A U B ) U C

Ejercicio 5.- Demostrar que A U ( A ∩ B ) = A

Ejercicio 6.- Demostrar que A ∩ ( A U B ) = A

Ejercicio 7.- Demostrar que (A ∩ B)C = BC U AC

Ejercicio 8.- Demostrar que (A U B)C = BC ∩ AC

Ejercicio 9.- Demostrar que A U ∅ = A

Ejercicio 10.- Demostrar que A ∩ ∅ = ∅

Definición de valor absoluto

Demostrar

Para todos los números reales x e y, |𝑥 + 𝑦| ≤ |𝑥| + |𝑦|.

Demostración
Considerar los diferentes casos para x e y.
1) Cuando x ≥ 0 , y ≥ 0
2) Cuando x ≥ 0 , y < 0
3) Cuando x < 0 , y ≥ 0
4) Cuando x < 0 , y < 0
 Enviar la solución de la
tarea a agamez@une.edu.pe