E SCUELA P OLITÉCNICA N ACIONAL

F UNDAMENTOS DE M ATEMÁTICA
F ORMULARIO

Patricio Estrada 27 de diciembre de 2020

1. L ÓGICA M ATEMÁTICA

1.1.- TABLAS DE VERDAD

P Q ¬P P∨Q P∧Q P⇒Q P⇔Q P ⊻ Q1 P ⇓ Q2 P ⇑ Q3

f f v f f v v f v v
f v v v f v f v f v
v f f v f f f v f v
v v f v v v v f f f

1.2.- E QUIVALENCIAS L ÓGICAS R ELEVANTES

P⇒Q ≡ ¬P ∨ Q
¬( P ⇒ Q) ≡ P ∧ ¬Q
P⇒Q ≡ (¬ Q) ⇒ (¬ P)
P⇔Q ≡ ( P ⇒ Q) ∧ ( Q ⇒ P) ≡ ¬( P ⊻ Q)
¬( P ⇔ Q) ≡ (¬ P) ⇔ Q ≡ P ⇔ (¬ Q)
¬(¬ P) ≡ P

P⇓Q ≡ ¬( P ∨ Q) ≡ (¬ P) ∧ (¬ Q)
P⇑Q ≡ ¬( P ∧ Q) ≡ (¬ P) ∨ (¬ Q)
P⊻Q ≡ ( P ∨ Q) ∧ ¬( P ∧ Q) ≡ ¬( P ⇔ Q)
¬( P ⊻ Q) ≡ (¬ P) ⊻ Q ≡ P ⊻ (¬ Q)

Idempotencia4 Distributivas Identidad

P∨P ≡ P P ∨ ( Q ∧ R) ≡ ( P ∨ Q) ∧ ( P ∨ R) P ∨ V ≡ V P∨F ≡ P
P∧P ≡ P P ∧ ( Q ∨ R) ≡ ( P ∧ Q) ∨ ( P ∧ R) P ∧ V ≡ P P∧F ≡ F
P⇒P ≡ V5 P⇒V ≡ V P⇒F ≡ ¬P
Absorción V⇒P ≡ P F⇒P ≡ V
P⇔P ≡ V
P⊻P ≡ F6 P⇔V ≡ P P⇒F ≡ ¬P
P ∨ ( P ∧ Q) ≡ P
P⇓P ≡ ¬P P⊻V ≡ ¬P P⊻F ≡ P
P ∧ ( P ∨ Q) ≡ P
P⇑P ≡ ¬P P⇓V ≡ F P⇓F ≡ ¬P
P ∨ (¬ P ∧ Q) ≡ P ∨ Q
P⇑V ≡ ¬P P⇑F ≡ V
P ∧ (¬ P ∨ Q) ≡ P ∧ Q
Asociativas
DeMorgan
Complemento
P ∨ ( Q ∨ R) ≡ ( P ∨ Q) ∨ R
P ∧ ( Q ∧ R) ≡ ( P ∧ Q) ∧ R ¬( P ∨ Q) ≡ (¬ P) ∧ (¬ Q)
P ∨ ¬P ≡ V
P ⇔ ( Q ⇔ R) ≡ ( P ⇔ Q) ⇔ R ¬( P ∧ Q)! ≡ (¬ P) ∨ (¬ Q)
P ∧ ¬P ≡ F
P ⊻ ( Q ⊻ R) ≡ ( P ⊻ Q) ⊻ R P ⇔ ¬P ≡ F
_ ^
¬ Pk ≡ (¬ Pk )
Conmutativas P ⇒ ¬P ≡ ¬P k k
¬P ⇒ P ≡
!
P ^ _
P∨Q ≡ Q∨P P ⊻ ¬P ≡ V ¬ Pk ≡ (¬ Pk )
P∧Q ≡ Q∧P P ⇓ ¬P ≡ F k k
P⇔Q ≡ Q⇔P P ⇑ ¬P ≡ V
P⊻Q ≡ Q⊻P
P⇓Q ≡ Q⇓P
P⇑Q ≡ Q⇑P
1 Signo que representa la disyunción exclusiva de dos proposiciones.
2 Signo que representa la conjunción negativa de dos proposiciones.
3 Signo que representa la disyunción negativa de dos proposiciones.

1
Patricio Estrada Formulario

1.3.- R EGLAS DE I NFERENCIA

Introducción de la disyunción Modus Tollens Transitiva de la implicación

P P P⇒Q P⇒Q
P∨Q Q∨P ¬Q Q⇒R
¬P P⇒R
Introducción de la conjunción
Eliminación de la disyunción Dilema Constructivo
P P
Q Q P∨Q P∨Q P⇒Q
P∧Q Q∧P ¬P ¬Q R⇒S
Q P P∨R
Eliminación de la conjunción Q∨S
Eliminación de la disyunción ex-
P∧Q P∧Q clusiva Silogismo Conjuntivo
P Q
P⊻Q P⊻Q P⇒Q
Modus Ponens P Q R⇒S
¬Q ¬P P∧R
P⇒Q Q∧S
P P⊻Q P⊻Q
Q ¬P ¬Q
Q P

1.4.- C UANTIFICADORES
Nombre Símbolo Negación
Universal (∀ x )(A ( x )) 7 ¬((∀ x )(A ( x ))) ≡ (∃ x )(¬A ( x ))
Existencial (∃ x )(A ( x )) 8 ¬((∃ x )(A ( x ))) ≡ (∀ x )(¬A ( x ))

1.5.- M ÉTODOS DE D EMOSTRACIÓN

H IPÓTESIS ⇒ T ESIS

(1) Método Directo: Si entonces se tiene

H |= T1 H∗ ⇒ T∗
|= T2
.. y se usa cualquier otro método para probar
. si es verdadera.
|= Tn
|= T, (II) Absurdo: Basado en la equivalencia lógica

entonces ¬( H ⇒ T ) ≡ H ∧ ¬ T
H⇒T
Si
es verdadera. ¬T ∧ H |= C1
|= C2
(2) Método Indirecto
..
.
(I) Contrarecíproco: basado en la equivalencia
|= F,
lógica
H ⇒ T ≡ ¬T ⇒ ¬ H luego,
H⇒T
Si
∗ ∗
¬T ≡ H y ¬H ≡ T , es verdadera.

4 Losnombres utilizados aquí son arbitrarios, es decir, use como tal la equivalencia como referencia el uso de la misma.
5 Pararepresentar una tautología (la más común P ∨ ¬ P) se usará el signo V.
6 Para representar una contradicción (la más común P ∧ ¬ P) se usará el signo F.
7 El signo introducido aquí (∀) representa el cuantificador universal. La sintaxis para este símbolo no ha sido introducida, por lo que no

debe usarlo. Cabe recalcar que aquí la sintaxis es correcta.

8 El signo introducido aquí (∃) representa el cuantificador existencial. La sintaxis para este símbolo no ha sido introducida, por lo que

no debe usarlo. Cabe recalcar que aquí la sintaxis es correcta.

2
Formulario Patricio Estrada

2. C ONJUNTOS

2.1.- D EFINICIONES
A⊆B ≡ (∀ x )( x ∈ A ⇒ x ∈ B) Subclase
A⊇B ≡ (∀ x )( x ∈ B ⇒ x ∈ A) Superclase
A=B ≡ A ⊆ B∧B ⊆ A Igualdad
A(B ≡ A ⊆ B ∧ A 6= B Subclase estricta

2.2.- O PERACIONES
A B

Unión A ∪ B = { x : x ∈ A ∨ x ∈ B}
A B

Intersección A ∩ B = { x : x ∈ A ∧ x ∈ B}
A B

Diferencia A − B = { x : x ∈ A ∧ x 6∈ B}
A B

Diferencia Simétrica A △ B9 = ( A − B ) ∪ ( B − A )
U A

Complemento Ac = { x : x 6∈ A}

2.3.- L EYES DEL Á LGEBRA DE CONJUNTOS

Idempotencia Complemento
A ⊆ ( A ∪ B) B ⊆ ( A ∪ B) A∪A = A A ∪ Ac = U
A∩B ⊆ A A∩B ⊆ B A∩A = A A ∩ Ac = ∅
A ⊆ B ⇔ A∪B = B A−A = ∅ A − Ac = A
A ⊆ B ⇔ A∩B = A A△ A = ∅ Ac − A = Ac
A△ Ac = U
( Ac )c10 = A Conmutativas ∅c = U
A − B = A ∩ Bc
Uc=∅
A − ( B ∪ C ) = ( A − B) ∩ ( A − C ) A∪B = B∪A
Rc = ∅
A − ( B ∩ C ) = ( A − B) ∪ ( A − C ) A∩B = B∩A
A − B = A − ( A ∩ B) A△ B = B△ A Identidad
A△ B = ( A − B) ∪ ( B − A)
A△ B = ( A ∪ B) − ( A ∩ B) Distributivas A∪∅ = A A∪U = U
( A△ B)c = Ac △ B = A△ Bc A ∪ ( B ∩ C ) = ( A ∪ B) ∩ ( A ∪ C )
A∩∅ = ∅ A∩U = A
A△ B = Ac △ Bc A ∩ ( B ∪ C ) = ( A ∩ B) ∪ ( A ∩ C )
A−∅ = A A−U = ∅
∅−A = ∅ U − A = Ac
Asociativa Absorción A △∅ = A A △U = A c
( A ∪ B) ∪ C = A ∪ ( B ∪ C ) A ∪ ( A ∩ B) = A DeMorgan
( A ∩ B) ∩ C = A ∩ ( B ∩ C ) A ∩ ( A ∪ B) = A
( A△ B)△C = A△( B△C ) A ∪ ( Ac ∩ B) = A ∪ B ( A ∪ B)c = Ac ∩ Bc
c = Ac ∪ Bc
( A ∩ B)!
A ∩ ( Ac ∪ B) = A ∩ B c
( Ack )
[ \
Ak =
k !c k

( Ack )
\ [
Ak =
k k

9 Signo usado para representar la diferencia simétrica de dos clases.

10 Usaremos esta notación para referirnos al complemento de una clase.

3
Patricio Estrada Formulario

2.4.- C ONTEO

U A B
A − (B ∪ C)
B − ( A ∪ C)
C − ( A ∪ B)
( A ∩ B) − C
( A ∩ C) − B
C (B ∩ C) − A
A∩B∩C
U − ( A ∪ B ∪ C)

2.5.- P RODUCTO C ARTESIANO

A × B = {( a, b) : a ∈ A ∧ b ∈ B}

2.5.1.- Propiedades

A×∅ = ∅
∅×A = ∅
A × ( B ∩ C ) = ( A × B) ∩ ( A × C )
A × ( B ∪ C ) = ( A × B) ∪ ( A × C )
A × ( B − C ) = ( A × B) − ( A × C )

3. N ÚMEROS R EALES

C ONCEPTOS P RIMITIVOS
1. Número real.

2. Operación suma.

3. Operación producto.

4. Número positivo.

D EFINICIONES
1. Resta: Dados los números reales a y b, a − b = a + (−b).
a
2. División: Dados los números reales a y b, si b 6= 0, = a · b −1 .
b
3. Cuadrado de un número: Dado el número real a, el cuadrado de a es a2 = a · a.

4. Mayor que: Dados los números reales a y b, a > b si a − b ∈ R + .

5. Menor que: Dados los números reales a y b, a < b si b > a.

6. Caracterización de positivo: Dado el número real a, a es positivo si a > 0.

7. Número negativo: Dado el número real a, a es negativo si a < 0.

8. Mayor o igual: Dados los números reales a y b, a > b si a > b o a = b.

9. Menor o igual: Dados los números reales a y b, a 6 b si a < b o a = b.

10. Raíz cuadrada: Dado el número real a > 0, la raíz cuadrada de a es el número b > 0 tal que a = b2 .

4
Formulario Patricio Estrada

A XIOMAS
Cuerpo
1. Clausuras: Si a y b son números reales, entonces a + b ∈ R y a · b ∈ R.

2. Conmutativas: a + b = b + a y a · b = b · a.

3. Asociativas: ( a + b) + c = a + (b + c) y ( a · b) · c = a · (b · c).

4. Distributiva del producto respecto de la suma: a · (b + c) = a · b + a · c.

5. Existencia del 0: Existe un único número real 0, tal que para todo número real a, a + 0 = a.

6. Unicidad del 0: Existe un número real b tal que para todo a se tiene que si a + b = a, entonces b = 0.

7. Existencia del 1: Existe un único número real 1, tal que 1 6= 0 y para todo número real a, a · 1 = a.

8. Unicidad del 1: Existe un número real b tal que para todo a diferente de 0 se tiene que si a · b = a, entonces
b = 1.

9. Existencia del inverso aditivo: Para todo número real a, existe un único número real − a talque a + (− a) = 0.

10. Unicidad de inverso aditivo: Para todo número real a, existe un número real b tal que si a + b = 0, entonces
b = − a.

11. Existencia del inverso multiplicativo: Para todo número real a diferente de 0, existe un único número real
a−1 talque a · a−1 = 1.

12. Unicidad del inverso multiplicativo: Para todo número real a diferente de cero, existe un número real b tal
que si a · b = 1, entonces b = a−1 .

Orden
1. Clausuras de los positivos: Si a > 0 y b > 0, entonces a + b > 0 y a · b > 0.

2. Tricotomía: Dados dos números reales a y b se cumple solo una de las siguientes proposiciones:

a) a > b
b) a < b
c) a = b

Es decir,

a) a > b si y solo si a ≮ b y a 6= b.
b) a < b si y solo si a ≯ b y a 6= b.
c) a = b si y solo si a ≯ b y a ≮ b.

Completitud
Dado el número real a, si a > 0, existe una única raíz cuadrada de a. Es decir, existe un único número real
b > 0 tal que
a = b2 .
La raíz cuadrada de a se representa por √
a.
Así, si a > 0, las siguientes proposiciones son verdaderas:
√
1. a > 0.
√
2
2. a = a .

5
Patricio Estrada Formulario

T EOREMAS
1. −0 = 0

2. 1−1 = 1

3. Aditiva de la igualdad: Si a = b, entonces a + c = b + c.

4. Multiplicativa de la igualdad: Si a = b, entonces a · c = b · c.

5. Caracterización de 0: Sea b un número real, si existe un número real a tal que a + b = a, entonces b = 0.

6. Caracterización de 1: Sea b un número real, si existe un número real a diferente de cero tal que a · b = a,
entonces b = 1.

7. Multiplicación por 0: a · 0 = 0.

8. Inverso multiplicativo distinto de cero: Si a 6= 0, entonces a−1 6= 0.

9. Cancelativa de la suma: Si a + c = b + c, entonces a = b.

10. Cancelativa del producto: Si c 6= 0 y a · c = b · c, entonces a = b.

11. Involutiva del inverso aditivo: −(− a) = a.

−1
12. Involutiva del inverso multiplicativo: Si a 6= 0, entonces a−1 = a.
13. Ley de signos:

a) a · (−b) = − a · b.
b) (− a) · b = − a · b.
c) (− a) · (−b) = a · b.

14. Si a 6= 0 y b 6= 0, entonces ( a · b)−1 = a−1 · b−1 .

15. Para todo número real a, (−1) · a = − a.

16. a · b = 0 si y solo si a = 0 o b = 0.
1
17. Si a 6= 0, entonces = a −1 .
a
18. a − b = ( a + c) − (b + c).
a a·c
19. Si b 6= 0 y c 6= 0, entonces = .
b b·c
a c a+c
20. Si b 6= 0, entonces + = .
b b b
a c a·d+b·c
21. Si b 6= 0 y d 6= 0, entonces + = .
b d b·d
22. Monotonía del inverso aditivo:

a) a > 0 si y solo si − a < 0.

b) a < 0 si y solo si − a > 0.
c) a > b si y solo si − a < −b
23. Aditivas de las relaciones de orden:

a) Si a > b, entonces a + c > b + c.

b) Si a < b, entonces a + c < b + c.
24. Multiplicativas de las relaciones de orden:

a) Si c > 0 y a > b, entonces a · c > b · c.

b) Si c > 0 y a < b, entonces a · c < b · c.
c) Si c < 0 y a > b, entonces a · c < b · c.

6
Formulario Patricio Estrada

d) Si c < 0 y a < b, entonces a · c > b · c.

25. Cancelativas de la suma de las relaciones de orden:

a) Si a + c > b + c, entonces a > b.

b) Si a + c < b + c, entonces a < b.

26. Cancelativas del producto de las relaciones de orden:

a) Si c > 0 y a · c > b · c, entonces a > b.

b) Si c > 0 y a · c < b · c, entonces a < b.
c) Si c < 0 y a · c < b · c, entonces a > b.
d) Si c < 0 y a · c > b · c, entonces a < b.

27. Transitiva de las relaciones de orden:

a) Si a > b y b > c, entonces a > c.

b) Si a < b y b < c, entonces a < c.

28. Si a · b > 0 y a > 0, entonces b > 0.

29. Si a · b > 0 y a < 0, entonces b < 0.

30. Si a · b < 0 y a > 0, entonces b < 0.

31. Si a · b < 0 y a < 0, entonces b > 0.

32. a · b > 0 si y solo si a > 0 y b > 0 o bien a < 0 y b < 0.

33. a · b < 0 si y solo si a > 0 y b < 0 o bien a < 0 y b > 0.

34. Monotonía del inverso multiplicativo:

a) a > 0 si y solo si a−1 > 0.

b) a < 0 si y solo si a−1 < 0.
c) a > b y b > 0 si y solo si a−1 > 0 y a−1 < b−1 .
d) a < b y b < 0 si y solo si a−1 < 0 y a−1 > b−1 .

35. Cuadrados y Raíces:

a) Si a > b y b > 0, entonces a2 > b2 .

b) Si a < b y b < 0, entonces a2 > b2 .
√ √
c) Si a > b y b > 0, entones a > b.

36. Introducción de las relaciones mayor o igual y menor o igual

a) si a > b, entonces a > b,

b) si a < b, entonces a 6 b,
c) si a = b, entonces a > b,
d) si a = b, entonces a 6 b,
e) a > b si y solo si b 6 a