Examen Julio 2015-Ej 2) parte c)

Examen Julio 2015-Ej 2) parte c)

de Rodrigo Alejandro Aguillon Stoletniy -
Número de respuestas: 1
Buenas, tenia una duda respecto a la solucion de este examen, y es que cuando niega el =, lo hace escribiendo un "esta contenido", mi duda es, eso estaria correcto? No me termina de cerrar el porque de esto,

muchas gracias,
Rodrigo

En respuesta a Rodrigo Alejandro Aguillon Stoletniy

Re: Examen Julio 2015-Ej 2) parte c)

de Guillermo Calderon - InCo -

Buenas:

El razonamiento que se aplica ahí se puede generalizar de esta forma:

  • A y B son conjuntos cualesquiera.
  • Sabemos que A \subseteq B

Entonces:

  • ((\exists a \in B) a \not\in A) \Longleftrightarrow A \subset B

Esto se basa en la definición de \subseteq y \subset que suponemos conocidas.