E SCUELA P OLITÉCNICA N ACIONAL

D EPARTAMENTO DE M ATEMÁTICAS

F UNDAMENTOS DE LA M ATEMÁTICA
S IMULADOR N O . 1
20 DE JUNIO DE 2019
D URACIÓN : 120 MINUTOS

Introducción

Si A y B son clases, se dice que A es igual a B y se representa por A = B si y solo si la

proposición
(∀ x )( x ∈ A ⇔ x ∈ B)

es verdadera; en otras palabras, si y solo la proposición

x∈A ⇔ x∈B

es verdadera para todo conjunto x. Por esto, es válida la siguiente equivalencia lógica
para todo conjunto x:
A=B ≡ x∈A⇔x∈B

De la definición y de las propiedades de la doble implicación y de la equivalencia

lógica, se deducen fácilmente los siguientes teoremas sobre la igualdad para toda clase
A, clase B y clase C:

TI1 : A = A.

TI2 : Si A = B, entonces B = A.

TI3 : Si A = B y B = C, entonces A = C.

TI4 : Si A = B y x ∈ A, entonces x ∈ B.

TI5 : Si A = B y x ∈ B, entonces x ∈ A.

Dadas las clases A y B, también se define la relación subclase: se dice que A es sub-
clase de B y se representa por A ⊆ B si y solo si la proposición

(∀ x )( x ∈ A ⇒ x ∈ B)

es verdadera; dicho de otro modo, si y solo si la proposición

x∈A⇒x∈B

1
es verdadera para todo conjunto x. Por ello, la siguiente equivalencia lógica es válida
para todo conjunto x:
A⊆B ≡ x∈A⇒x∈B

De la definición de subclase, igual y las propiedades de la implicación y de equiva-

lencia lógica, se deducen fácilmente los siguientes teoremas para todo clase A, clase B y
clase C:

TS1 : A ⊆ A.

TS2 : Si A ⊆ B y B ⊆ A, entonces A = B.

TS3 : Si A ⊆ B y B ⊆ C, entonces A ⊆ C.

TS4 : A = B si y solo si A ⊆ B y B ⊆ C.

TS5 : Si A ⊆ B y x ∈ A, entonces x ∈ B.

TS6 : Si A ⊆ B y x 6∈ B, entonces x 6∈ A.

Gracias al axioma de construcción de clases, dadas dos clases A y B, definimos las

clases A ∪ B y A ∩ B de la siguiente manera:

A ∪ B = { x : x ∈ A ∨ x ∈ B} y A ∩ B = { x : x ∈ A ∧ x ∈ B }.

De estas definiciones, las propiedades de la disyunción y conjunción y por la aplica-

ción de las reglas de inferencia introducción de la disyunción y eliminación de la conjunción,
se demuestran fácilmente los siguientes teoremas:

TUI1 : A ∪ B = B ∪ A.

TUI2 : A ∩ B = B ∩ A.

TUI3 : A ⊆ A ∪ B.

TUI4 : B ⊆ A ∪ B.

TUI5 : A ∩ B ⊆ A.

TUI6 : A ∩ B ⊆ B.

Auto evaluación

Demuestre los siguientes teoremas utilizando únicamente las definiciones y teoremas

dados en la sección anterior y, si requiere, reglas de inferencia y propiedades de las
conectivas, pero ningún otro “teorema” o proposición que haya sido mencionado en
el curso o esté en otro documento.

T1 : Si A = B y B ⊆ C, entonces A ⊆ C.

2
T2 : Si A ⊆ B y B = C, entonces A ⊆ C.
T3 : Si A = B y A = C, entonces B = C.
T4 : Si A = B y C = B, entonces A = C.
T5 : Si A = B, A = C y B = D, entonces C = D.
T6 : Si A = B, entonces C ∪ A = C ∪ B.
T7 : Si A = B, entonces A ∪ C = B ∪ C.
T8 : Si A = B y C = D, entonces A ∪ C = B ∪ D.
T9 : Si A = B, entonces C ∩ A = C ∩ B.
T10 : Si A = B, entonces A ∩ C = B ∩ C.
T11 : Si A = B y C = D, entonces A ∩ C = B ∩ D.
T12 : Si A ⊆ B, entonces C ∪ A ⊆ C ∪ B.
T13 : Si A ⊆ B, entonces A ∪ C ⊆ B ∪ C.
T14 : Si A ⊆ B y C ⊆ D, entonces A ∪ C ⊆ B ∪ D.
T15 : Si A ⊆ B, entonces C ∩ A ⊆ C ∩ B.
T16 : Si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.
T17 : Si A ⊆ B y C ⊆ D, entonces A ∩ C ⊆ B ∩ D.