Ejemplos de Matemáticas Generales.

0.1. Lógica.
Ejemplo 0.1.1 Negar las siguientes proposiciones:
1. Si un número entero es primo entonces no es divisible entre 3.
2. Dados a y b números reales, si ab = 0 entonces a = 0 o b = 0.
3. Dado un número real x, si 0 < x ≤ 1 entonces 0 < x2 ≤ x
4. Si juego fútbol, entonces me canso y me da sed.

Solución.
1. Un número es primo y es divisible entre 3.
2. Dados a y b números reales, ab = 0 y a 6= 0 y b 6= 0.
3. Dado un número real x, 0 < x ≤ 1 y x < x2 ≤ 0.
4. Juego fútbol y, no me canso o no me da sed.

Ejemplo 0.1.2 Considerar las proposiciones p y q. Probar que q es consecuencia lógica de la proposición: (p ∨ q) ∧ ¬p
Solución. Para probar que “q” es consecuencia lógica de la proposición: “(p ∨ q) ∧ ¬p” (o de forma equivalente que la
proposición “(p ∨ q) ∧ ¬p” implica la proposición “q”), es suficiente con probar que la fórmula: [(p ∨ q) ∧ ¬p] =⇒ q, es
una tautologı́a.
p q p∨q ¬p (p ∨ q) ∧ ¬p q [(p ∨ q) ∧ ¬p] ⇒ q
V V V F F V V
V F V F F F V
F V V V V V V
F F F V F F V
De la tabla de verdad, concluimos que la fórmula, [(p ∨ q) ∧ ¬p] =⇒ q es una tautologı́a. Por lo tanto, q es consecuencia
lógica de (p ∨ q) ∧ ¬p. En sı́mbolos escribimos: (p ∨ q) ∧ ¬p |= q.


0.2. Teorı́a de conjuntos.

Ejemplo 0.2.1 Dados los conjuntos A y B, probar que (A ∩ B)c = Ac ∪ B c .
Solución. Para probar la igualdad: (A ∩ B)c = Ac ∪ B c , debemos probar 2 contenencias:
1. Probamos que: (A ∩ B)c ⊆ Ac ∪ B c .

x ∈ (A ∩ B)c =⇒ x∈U ∧ x∈
/ (A ∩ B)
=⇒ x ∈ U ∧ (x ∈
/A ∨ x∈
/ B)
=⇒ (x ∈ U ∧ x ∈
/ A) ∨ (x ∈ U ∧ x ∈
/ B)
=⇒ x ∈ Ac ∨ x ∈ B c
=⇒ x ∈ (Ac ∪ B c )
(1)

Por lo tanto (entonces, en consecuencia) (A ∩ B)c ⊆ Ac ∪ B c .

2. Probamos que: Ac ∪ B c ⊆ (A ∩ B)c .

x ∈ Ac ∪ B c =⇒ x ∈ Ac ∨ x ∈ B c
=⇒ (x ∈ U ∧ x ∈
/ A) ∨ (x ∈ U ∧ x ∈
/ B)
=⇒ x ∈ U ∧ (x ∈
/A ∨ x∈
/ B)
=⇒ x∈U ∧ x∈
/ A∩B
=⇒ x ∈ (A ∩ B)c .

Por lo tanto (entonces, en consecuencia) Ac ∪ B c ⊆ (A ∩ B)c .

1
De (a) y (b) queda probado que:(A ∩ B)c = Ac ∪ B c .

Ejemplo 0.2.2 Una agencia de carros vendió durante un año 180 vehı́culos con las siguientes caracterı́sticas: 57 tenı́an
dirección mecánica, 77 tenı́an aire acondicionado, 45 tenı́an dirección mecánica y aire acondicionado, 10 tenı́an dirección
mecánica pero no tenı́an aire acondicionado ni equipo de música, 28 tenı́an dirección mecánica y aire acondicionado pero
no tenı́an equipo de música, 90 no tenı́an ninguna de las tres caracterı́sticas mencionadas, 19 tenı́an aire acondicionado y
equipo de música. Determine cuantos de estos vehı́culos tenı́an:

1. Equipo de música.
2. Solamente aire acondicionado.
3. Sólo una de esas tres preferencias.
4. Exactamente dos de esas tres preferencias.

5. Cuando mucho una de esas tres preferencias.

Solución. Consideremos 3 categorı́as a saber:

M: “autos que tienes dirección mecánica”;

A: “autos que tienes aire acondicionado”;

E: “autos que tienes equipo de música”.
Considerando las condiciones impuestas en el problema, podemos identificar lo siguiente:

# [(M ∩ A) − E] = 28; #M = 57; # [U − (M ∪ A ∪ E)] = 90.

#(M ∩ A) = 45; #A = 77;
# [M − (A ∪ E)] = 10; #(A ∩ E) = 19;

Consideremos el siguiente esquema:

M A M A

#3 #1 10 28
#6 30
#2 17
a
#4 #5 2 2

#7 1

90 E 90 E
U U

Por lo tanto
1. Autos que tienen equipo de música: 2 + 17 + 2 + 1 = 22.
2. Autos que tienen solamente aire acondicionado: 30.

3. Autos que tienen sólo una de esas tres categorı́as: 10 + 30 + 1 = 41.

4. Autos que tienen exactamente dos de esas tres preferencias: 28 + 2 + 2 = 32.
5. Autos que tienen cuando mucho una de esas tres preferencias: 90 + 10 + 30 + 1 = 131.