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) ∀x∈A,∃y∈B/x+y=2\forall x \in A, \exists y \in B / x+y=2

II) ∀x∈B,∃y∈A/x+y≥2\forall x \in B, \exists y \in A / x+y \geq 2

III) ∃x∈A,∃y∈B/x2−y≤1\exists x \in A, \exists y \in B / x^2 - y \leq 1

IV) ∃x∈A,∀y∈B/x3−y2=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=2∈Ay=2\in A cumple 0+2≥20+2\geq2. Para x=1x=1: y=1∈Ay=1\in A cumple 1+1≥21+1\geq2. Por lo tanto II es Verdadera.
  3. III) Con x=1,y=1x=1,y=1: 12−1=0≤11^2-1=0\leq1. Se cumple, entonces III es Verdadera.
  4. IV) Se necesita x3−y2=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 x∈Ax\in A, entonces IV es Falsa.
  5. Resultado: F, V, V, F → FVVF.

Respuesta: C) FVVF