Medio
Teoría de conjuntos

Ejercicio de Aritmética

Sean los conjuntos A={1;2;3}A=\{1;2;3\} y B={0;1}B=\{0;1\}. ¿Cuál es el valor de verdad de las siguientes proposiciones?

I) xA,yB/x+y=2\forall x \in A, \exists y \in B / x+y=2

II) xB,yA/x+y2\forall x \in B, \exists y \in A / x+y \geq 2

III) xA,yB/x2y1\exists x \in A, \exists y \in B / x^2 - y \leq 1

IV) xA,yB/x3y2=10\exists x \in A, \forall y \in B / x^3 - y^2 = 10

Ver solución paso a paso
  1. I) Para x=3x=3 se necesitaría y=1y=-1, que no está en BB. Por lo tanto I es Falsa.
  2. II) Para x=0x=0: y=2Ay=2\in A cumple 0+220+2\geq2. Para x=1x=1: y=1Ay=1\in A cumple 1+121+1\geq2. Por lo tanto II es Verdadera.
  3. III) Con x=1,y=1x=1,y=1: 121=011^2-1=0\leq1. Se cumple, entonces III es Verdadera.
  4. IV) Se necesita x3y2=10x^3-y^2=10 para ambos y=0y=0 y y=1y=1 con el mismo xx. Si y=0y=0: x3=10x^3=10 (no es entero). Si y=1y=1: x3=11x^3=11 (no es entero). No existe tal xAx\in A, entonces IV es Falsa.
  5. Resultado: F, V, V, F → FVVF.

Respuesta: C) FVVF