P r egunta 1

Demuestre la siguiente tautología usando tablas de verdad:

(𝑝 ∧ 𝑞) ⟹ 𝑞

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: media.

Respuesta correcta y justificación:

Cualquier proposición tiene 2 valores de verdad posibles, entonces la tabla de verdad

tendrá 4 filas, pues hay dos proposiciones, 𝑝 y 𝑞.

Primero, construimos la tabla de verdad del operador lógico y, para luego completar con la
tabla de verdad del operador implicancia.

𝑝 q 𝑝∧𝑞 (𝑝 ∧ 𝑞) ⟹ 𝑞
𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉
𝐹 𝑉 𝐹 𝑉
𝐹 𝐹 𝐹 𝑉

Como la última columna solo tiene valores de verdad 𝑉, entonces la proposición es una
tautología.

P r egunta 2

Niegue y la siguiente proposición:

𝑝 ∨ (𝑞 ∧ 𝑟) ∨ (𝑝 ∧ 𝑞 ∧ 𝑟)

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: baja.

Respuesta correcta y justificación: aplicando las leyes de De Morgan, sigue que

𝑝 ∨ (𝑞 ∧ 𝑟) ∨ (𝑝 ∧ 𝑞 ∧ 𝑟) ⟺ [𝑝 ∧ (𝑞 ∨ 𝑟) ∧ (𝑝 ∨ 𝑞 ∨ 𝑟)].

Al usar la propiedad de la doble negación, obtenemos

 𝑝 ∨ (𝑞 ∧ 𝑟) ∨ (𝑝 ∧ 𝑞 ∧ 𝑟) ⟺ [𝑝 ∧ (𝑞 ∨ 𝑟) ∧ (𝑝 ∨ 𝑞 ∨ 𝑟)].
P r egunta 3

Demuestre que la siguiente proposición es tautología, sin usar tablas de verdad:

[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: alta.

Respuesta correcta y justificación: cuando no se usan tablas de verdad, debemos basar la

demostración en otras tautologías conocidas. Así, primero aplicamos la reducción del
implica en términos de negación y disyunción:

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ {[(𝑞 ∨ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ∨ 𝑝}.

Después, usando las leyes de De Morgan y la propiedad de la doble negación, sigue que

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ {[(𝑞 ∧ 𝑝) ∨ (𝑟 ∧ 𝑞) ∨ 𝑟] ∨ 𝑝}.

Si asociamos y conmutamos, obtenemos

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ {[(𝑞 ∧ 𝑝) ∨ 𝑝] ∨ [(𝑟 ∧ 𝑞) ∨ 𝑟]}.

Al aplicar la propiedad distributiva en el primer corchete de la expresión de la derecha, nos

queda

[(𝑞 ∧ 𝑝) ∨ 𝑝] ⟺ [(𝑞 ∨ 𝑝) ∧ (𝑝 ∨ 𝑝)] ⟺ [(𝑞 ∨ 𝑝) ∧ 𝑉] ⟺ (𝑞 ∨ 𝑝),

donde hemos usado el hecho de que una proposición y su negación, cuando conectadas con
la disyunción, es 𝑉, y que 𝑉 y cualquier proposición tiene el valor de verdad de la
proposición. Análogamente,

[(𝑟 ∧ 𝑞) ∨ 𝑟] ⟺ [(𝑟 ∨ 𝑟) ∧ (𝑞 ∨ 𝑟)] ⟺ [𝑉 ∧ (𝑞 ∨ 𝑟)] ⟺ (𝑞 ∨ 𝑟).

Por lo tanto,

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ {(𝑞 ∨ 𝑝) ∨ (𝑞 ∨ 𝑟)}.

Al asociar y conmutar, obtenemos

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ {(𝑞 ∨ 𝑞) ∨ 𝑝 ∨ 𝑟}.

Como 𝑞 ∨ 𝑞 es 𝑉, y 𝑉 o una proposición es siempre 𝑉, entonces

{[(𝑞 ⟹ 𝑝) ∧ (𝑟 ∨ 𝑞) ∧ 𝑟] ⟹ 𝑝} ⟺ 𝑉.
Por lo tanto, la proposición es una tautología.

P r egunta 4

Demuestre que la siguiente proposición es tautología, sin usar tablas de verdad:

(𝑞 ⟹ 𝑝) ⟺ [𝑉 ⟹ (𝑞 ∧ 𝑝)]

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: alta.

Respuesta correcta y justificación: vamos a tomar la proposición más compleja, que en este
caso es la de la derecha. Si aplicamos la reducción de la implicancia en negación y
disyunción, además de usar las leyes de De Morgan, tenemos

[𝑉 ⟹ (𝑞 ∧ 𝑝)] ⟺ [𝐹 ∨ (𝑞 ∨ 𝑝)].

Como 𝐹 ∨ (𝑞 ∨ 𝑝) tiene el mismo valor de verdad que (𝑞 ∨ 𝑝), nos queda

[𝑉 ⟹ (𝑞 ∧ 𝑝)] ⟺ [𝑞 ∨ 𝑝] ⟺ [𝑞 ⟹ 𝑝],

donde en el último paso hemos usado la reducción del implica. Por lo tanto, las proposición
son equivalentes, de modo que la proposición original más compleja es una tautología.

P r egunta 5

Se define el operador lógico ∎ por:

(𝑝 ∎ 𝑞) ⟺ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∨ 𝑞)]

Encuentre la taba de verdad de este operador.

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: media.

Respuesta correcta y justificación:

Para completar la tabla de verdad, comenzamos el análisis con las proposiciones más
sencillas: y lógico, o lógico y negación.

𝑝 𝑞 𝑝∧𝑞 𝑝∨𝑞 (𝑝 ∨ 𝑞) 𝑝∎𝑞

𝑉 𝑉 𝑉 𝑉 𝐹 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹 𝐹
𝐹 𝑉 𝐹 𝑉 𝐹 𝐹
𝐹 𝐹 𝐹 𝐹 𝑉 𝑉

P r egunta 6

Dados los conjuntos 𝐴 = {𝑎, 𝑏, 𝑐, 𝑒} y 𝐵 = {𝑏, 𝑐, 𝑒}, encuentre:

1) 𝐴 ∩ 𝐵

2) 𝐴 ∪ 𝐵

3) 𝐴 ∖ 𝐵

4) 𝐵 ∖ 𝐴

Unidad: Lógica y conjuntos.

Subunidad: conjuntos.

Prioridad de la pregunta: baja.

Respuesta correcta y justificación:

1) La intersección de dos conjuntos es aquel conjunto de elementos em común,

entonces 𝐴 ∩ 𝐵 = {𝑏, 𝑐, 𝑒}.
2) La unión de conjuntos corresponde a la reunión de todos los elementos entre ambos
conjuntos, luego 𝐴 ∪ 𝐵 = {𝑎, 𝑏, 𝑐, 𝑒}.
3) La diferencia de conjuntos consiste en quitar al primer conjunto, los elementos del
segundo conjunto. Por lo tanto, 𝐴 ∖ 𝐵 = {𝑎}.
4) Análogamente a la parte 3), 𝐵 ∖ 𝐴 = ∅. En este caso, la diferencia es vacía, ya que
el conjunto 𝐴 contiene al menos los mismos elementos que el conjunto 𝐵.
P r egunta 7

Dados los conjuntos 𝐴 = {𝑝, 𝑞} y 𝐵 = {𝑚, 𝑛}, encuentre:

1) 𝒫(𝐴)

2) 𝒫(𝐵)

3) 𝒫(𝐴) ∩ 𝒫(𝐵)

4) 𝒫(𝐴) ∪ 𝒫(𝐵)

Unidad: Lógica y conjuntos.

Subunidad: conjuntos.

Prioridad de la pregunta: media.

Respuesta correcta y justificación: las partes de un conjunto es la colección de todos los

subconjuntos de este. Así,

1) 𝒫(𝐴) = {∅, {𝑝, 𝑞}, {𝑝}, {𝑞}}.

2) 𝒫(𝐵) = {∅, {𝑚, 𝑛}, {𝑚}, {𝑛}}.
La intersección de una colección de elementos, corresponde al conjunto de elementos en
común. Por lo tanto,

3) 𝒫(𝐴) ∩ 𝒫(𝐵) = {∅}.

Finalmente, la unión de dos conjuntos es juntar todos los elementos, aquellos que tienen en
común y los que no tienen en común. Luego,

4) 𝒫(𝐴) ∪ 𝒫(𝐵) = {∅, {𝑝, 𝑞}, {𝑝}, {𝑞}, {𝑚, 𝑛}, {𝑚}, {𝑛}}.

P r egunta 8

Dados tres conjuntos 𝑋, 𝑌, 𝑍, demuestre que (𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = (𝑋 ∖ 𝑌) ∖ 𝑍.

Unidad: Lógica y conjuntos.

Subunidad: conjuntos.

Prioridad de la pregunta: alta.

Respuesta correcta y justificación: en este problema, vamos a utilizar el álgebra de

conjuntos para llegar de un lado de la igualdad al otro. En primer lugar, usando la
definición de diferencia de conjuntos, tenemos
 (𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = (𝑋 ∩ 𝑍 𝑐 ) ∩ (𝑌 ∩ 𝑍 𝑐 )𝐶 .

Además, usando las leyes de De Moran, resulta

(𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = (𝑋 ∩ 𝑍 𝑐 ) ∩ (𝑌 𝑐 ∪ (𝑍 𝑐 )𝑐 ).
Como el complemento del complemento de un conjunto es el mismo conjunto, sigue que
(𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = (𝑋 ∩ 𝑍 𝑐 ) ∩ (𝑌 𝑐 ∪ 𝑍).
Aplicando asociatividad de la intersección y luego la distributividad de la intersección
respecto a la unión, se obtiene

(𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = 𝑋 ∩ [(𝑍 𝑐 ∩ 𝑌 𝑐 ) ∪ (𝑍 𝑐 ∩ 𝑍)].

Además, (𝑍 𝑐 ∩ 𝑍) = ∅. Como la unión de un conjunto con el vacío resulta en el mismo

conjunto, tenemos que

(𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = 𝑋 ∩ (𝑍 𝑐 ∩ 𝑌 𝑐 ).

Conmutando para reordenar los conjuntos, sigue que

(𝑋 ∖ 𝑍) ∖ (𝑌 ∖ 𝑍) = (𝑋 ∩ 𝑌 𝑐 ) ∩ 𝑍 𝑐 .
Finalmente, usando la definición de resta de conjuntos, nos queda lo que queríamos probar.

P r egunta 9

Dados tres conjuntos 𝐴, 𝐵, 𝐶, demuestre que 𝐴 ⊆ 𝐵 ⇒ 𝐴 ∖ 𝐶 = 𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)].

Unidad: Lógica y conjuntos.

Subunidad: conjuntos.

Prioridad de la pregunta: alta.

Respuesta correcta y justificación: para este ejercicio, vamos a comenzar el análisis con la
expresión más compleja, en este caso, 𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)]. Usando la definición de diferencia
de conjuntos, tenemos

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ [𝐶 ∪ (𝐵 ∩ 𝐴𝑐 )]𝑐 .
Al aplicar la ley de De Morgan, nos queda

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ [𝐶 𝑐 ∩ (𝐵𝑐 ∪ (𝐴𝑐 )𝑐 )].

Asimismo, dado que (𝐴𝑐 )𝑐 = 𝐴, entonces

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ [𝐶 𝑐 ∩ (𝐵𝑐 ∪ 𝐴)].

Luego, aplicando la propiedad distributiva, obtenemos

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ [(𝐶 𝑐 ∩ 𝐵𝑐 ) ∪ (𝐶 𝑐 ∩ 𝐴)].

De la definición de diferencia de conjuntos y de la conmutatividad de la intersección, sigue

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ [(𝐶 𝑐 ∩ 𝐵𝑐 ) ∪ (𝐴 ∖ C)].

Si aplicamos la distributividad de la intersección respecto a la unión, tenemos

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = [(𝐵 ∩ 𝐶 𝑐 ∩ 𝐵𝑐 ) ∪ (𝐵 ∩ (𝐴 ∖ C)]].

En particular, 𝐵 ∩ 𝐶 𝑐 ∩ 𝐵𝑐 = ∅, donde primero usamos la conmutatividad y luego el hecho
que 𝐵 ∩ 𝐵𝑐 = ∅ y que 𝐶 𝑐 ∩ ∅ = ∅. Por lo tanto, como unir con el conjunto vacío no cambia
el conjunto, tenemos

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐵 ∩ (𝐴 ∖ C).
Finalmente, usaremos la hipótesis. Como 𝐴 ⊆ 𝐵, em particular (𝐴 ∖ C) ⊆ 𝐵, ya que
(𝐴 ∖ C) ⊆ 𝐴. Así, 𝐴 ∖ C está incluido en 𝐵, luego al intersectar estos dos conjuntos, nos
queda el más pequeño, es decir, 𝐴 ∖ C. Por lo tanto,

𝐵 ∖ [𝐶 ∪ (𝐵 ∖ 𝐴)] = 𝐴 ∖ C,
que es lo que queríamos demostrar.

P r egunta 10

Demuestre la siguiente tautología usando tablas de verdad:

(𝑝 ∧ 𝑞) ⟹ [(𝑝 ∨ 𝑞) ⟺ (𝑝 ⟺ 𝑞)]

Unidad: Lógica y conjuntos.

Subunidad: lógica proposicional.

Prioridad de la pregunta: media.

Respuesta correcta y justificación:

La tabla de verdad de este ítem la completamos por partes. En este caso, usamos la tabla
de verdad de la equivalencia, de la conjunción y de la disyunción.

𝑝 𝑞 𝑝∧𝑞 𝑝∨𝑞 𝑝⟺𝑞 (𝑝 ∨ 𝑞) ⟺ (𝑝 ⟺ 𝑞) (𝑝 ∧ 𝑞) ⟹ [(𝑝 ∨ 𝑞) ⟺ (𝑝 ⟺ 𝑞)]

𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉
𝐹 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉
 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉

Como la columna de la proposición compuesta solo tiene valores de verdad 𝑉, entonces la

proposición es una tautología.

P r egunta 11

Dado un conjunto no vacío 𝑋 ⊆ 𝒰, se define el conjunto conjuntos ℱ𝑋 ⊆ 𝒫(𝒰) como sigue:

𝐴 ∈ ℱ𝑋 ⟺ 𝐴 ⊆ 𝒰, 𝐴 ∩ 𝑋 ≠ ∅

Demuestre que si 𝑌 ∈ ℱ𝒳 y 𝑍 ⊆ 𝒰, entonces 𝑌 ∪ 𝑍 ∈ ℱ𝒳 .

Unidad: Lógica y conjuntos.

Subunidad: conjuntos.

Prioridad de la pregunta: alta.

Respuesta correcta y justificación:

Sean 𝑌 ∈ ℱ𝒳 y 𝑍 ⊆ 𝒰, lo que queremos probar es equivalente a 𝑌 ∪ 𝑍 ⊆ 𝒰, (𝑌 ∪ 𝑍) ∩ 𝑋 ≠ ∅.

Primero, 𝑌 ∪ 𝑍 ⊆ 𝒰 es cierto del hecho de que ambos conjuntos son subconjuntos de 𝒰, por
lo tanto su unión también. Por otro lado, por la propiedad de distributividad, tenemos

(𝑌 ∪ 𝑍) ∩ 𝑋 = (𝑌 ∩ 𝑋) ∪ (𝑍 ∩ 𝑋).

Dado que 𝑌 ∈ ℱ𝒳 , entonces 𝑌 ∩ 𝑋 ≠ ∅. Por lo tanto, en particular, al unirlo con otro

conjunto, el resultado sigue siendo no vacío, ya que la unión lo que hace es agregar
elementos o, posiblemente, dejar el conjunto igual. Así, (𝑌 ∩ 𝑋) ∪ (𝑍 ∩ 𝑋) ≠ ∅, entonces
(𝑌 ∪ 𝑍) ∩ 𝑋 ≠ ∅. Con esto demostramos entonces que 𝑌 ∪ 𝑍 ∈ ℱ𝒳 .

P r egunta 12

Determine el valor de verdad de las siguientes proposiciones:

1) (∀ α ∈ {𝑎, 𝑏, 𝑐, … , 𝑥, 𝑦, 𝑧})(α = 𝑥)

2) (∃𝑥 ∈ ℝ)(𝑥 2 = −1)

Unidad: Lógica y conjuntos.

Subunidad: cuantificadores.
Prioridad de la pregunta: baja.

Respuesta correcta: 1) 𝐹, 2) 𝐹.

Justificación:

1) Esta proposición es falsa, ya que en el conjunto {𝑎, 𝑏, 𝑐, … , 𝑥, 𝑦, 𝑧} hay elementos

diferentes de 𝑥. Así, no es posible que todos los elementos de tal conjunto sean
iguales a 𝑥.
2) Esta proposición también es falsa, dado que cualquier número real al cuadrado es
no negativo. Por lo tanto, no existe número real al cuadrado que de como resultado
−1.

P r egunta 13

Niegue las siguientes proposiciones:

1) (∀𝑎 ∈ ℕ)(∀𝑏 ∈ ℕ)(∃𝑝 ∈ ℤ)(∃𝑦 ∈ ℤ)(𝑎𝑥 + 𝑏𝑦 = 1)

2) (∀𝑎)(∀ε > 0)(∃δ > 0) |𝑎 − 𝑏| < δ ⟹ |𝑓(𝑎) − 𝑓(𝑏)| < ε

Unidad: Lógica y conjuntos.

Subunidad: cuantificadores.

Prioridad de la pregunta: media.

Respuesta correcta y justificación: tenemos que recordar que la negación del cuantificador
para todo es el cuantificador existe y vicerversa.

1) (∀𝑎 ∈ ℕ)(∀𝑏 ∈ ℕ)(∃𝑝 ∈ ℤ)(∃𝑦 ∈ ℤ)(𝑎𝑥 + 𝑏𝑦 = 1)

⟺ (∃𝑎 ∈ ℕ)(∃𝑏 ∈ ℕ)(∀𝑝 ∈ ℤ)(∀𝑦 ∈ ℤ)(𝑎𝑥 + 𝑏𝑦 ≠ 1).

2) (∀𝑎)(∀ε > 0)(∃δ > 0) |𝑎 − 𝑏| < δ ⟹ |𝑓(𝑎) − 𝑓(𝑏)| < ε

⟺ (∃𝑎)(∃ε > 0)(∀δ > 0) |𝑎 − 𝑏| < δ ⟹ |𝑓(𝑎) − 𝑓(𝑏)| < ε

⟺ (∃𝑎)(∃ε > 0)(∀δ > 0) |𝑎 − 𝑏| < δ ∧ |𝑓(𝑎) − 𝑓(𝑏)| < ε

⟺ (∃𝑎)(∃ε > 0)(∀δ > 0) |𝑎 − 𝑏| < δ ∧ |𝑓(𝑎) − 𝑓(𝑏)| > ε

P r egunta 14

Determine el valor de verdad de la siguiente proposición:

(∃𝑥 ∈ ℝ)(∀𝑦 ∈ ℝ) 𝑥 < 𝑦

Unidad: Lógica y conjuntos.

Subunidad: cuantificadores.

Prioridad de la pregunta: baja.

Respuesta correcta: falso.

Justificación: la proposición nos dice que existe un (mismo) 𝑥 real, tal que para todo
número real 𝑦, 𝑥 < 𝑦. Dicho de otra forma, nos estaría diciendo que existe un número real
𝑥 que es menor que cualquier número real. Esta proposición es falsa, ya que los números
reales no son acotados inferiormente.

P r egunta 15

Determine el valor de verdad de las proposiciones 𝑝, 𝑞, 𝑟, 𝑠 sabiendo que la proposición

(𝑟 ∧ 𝑠 ∧ (𝑞 ⇒ 𝑝)) ⇒ (𝑉 ⇒ 𝑠)

es falsa.

Unidad: Lógica y conjuntos.

Subunidad: lógica.

Prioridad de la pregunta: alta.

Respuesta correcta: 𝑟 es 𝑉 y 𝑠 es 𝐹.

Justificación: en primer lugar, el implica es falso solo cuando el antecedente es verdadero y

el consecuente es falso. En este caso, es 𝑟 ∧ 𝑠 ∧ (𝑞 ⇒ 𝑝) es 𝑉 y 𝑉 ⇒ 𝑠 es 𝐹. Para la primera
proposición, cuando solo hay conectores y lógicos, la proposición es 𝑉 solo cuando cada
proposición conectada es 𝑉. Así, 𝑟 es 𝑉, 𝑠 es 𝑉 y (𝑞 ⇒ 𝑝) es 𝑉. Así, 𝑠 es 𝐹. Respecto al
implica que es 𝑉, hay varias combinaciones de valores de verdad para 𝑝 y 𝑞 que hacen esto
posible, luego no podemos decir en específico cuáles son los valores de verdad de 𝑝 y 𝑞.
Finalmente, como 𝑉 ⇒ 𝑠 es 𝐹, esto es posible solo cuando 𝑠 es 𝐹, aunque esto ya lo
sabíamos.