Difícil
Teoría de conjuntos - lógica proposicional
UNI · 2025

Ejercicio de Álgebra — UNI

Sean los conjuntos AA y BB diferentes del vacío, de manera que existe bBb \in B, tal que a<ba < b, aA\forall a \in A.

Determine el valor de verdad (V) o falsedad (F) de las siguientes proposiciones:

I. bB,aA\forall b \in B, \exists a \in A, tal que b<ab < a

II. aA,bB,b<a\forall a \in A, \forall b \in B, b < a

III. BAB \subseteq A

Marque la secuencia correcta.

Ver solución paso a paso

(Pista: la condición del problema solo garantiza que existe al menos un elemento de BB mayor que todos los de AA; no dice nada sobre los demás elementos de BB, así que conviene buscar un contraejemplo concreto para cada proposición.)

1. La condición dada es: existe (al menos) un bBb \in B tal que a<ba < b para todo aAa \in A. Esto no obliga a que la propiedad se cumpla para todos los elementos de BB, sino solo para uno en particular.

2. Proposición I: afirma que para todo bBb \in B existe un aAa \in A mayor que él. La condición original solo garantiza lo contrario (que existe un bb mayor que todos los aa), no que cada bb tenga un aa que lo supere. Por lo tanto, es (F).

3. Proposición II: afirma que todos los elementos de BB son mayores que todos los elementos de AA, pero la condición original solo asegura esto para un elemento particular de BB, no para todos. Por lo tanto, es (F).

4. Proposición III: se busca un contraejemplo. Sea A={1;2}A = \{1;2\} y B={4}B = \{4\}; estos conjuntos cumplen la condición del problema (existe b=4Bb=4 \in B mayor que todo elemento de AA), pero claramente B⊈AB \not\subseteq A, pues 4A4 \notin A. Por lo tanto, es (F).

5. La secuencia final es FFF.

Respuesta: FFF