25/01/2020, 07:19:42 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Demostración de inclusión.  (Leído 185 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Sintesis
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 14


Ver Perfil
« : 14/01/2020, 05:24:30 am »

Tengo que demostrar esta fórmula, pero me trabo en la última parte, sé que la diferencia es un caso que hace verdadero a la unión, pero no sé como llegar a la diferencia a partir de ahí.  :¿eh?:

[texx]
(A - B) - C \subset{A-(B-C)}
[/texx]

[texx]1. (A-B) - C[/texx]            hipótesis
[texx]2. (A\cap{B^c}) \cap{C^c}[/texx]         Def. diferencia
[texx]3. A\cap{(B^c\cap{C^c)}} [/texx]         Asociatividad de la intersección.
[texx]4. A\cap{(B\cup{C})^c}[/texx]              DM
[texx]5. A - (B\cup{C})[/texx]                  Def. diferencia.
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.725



Ver Perfil
« Respuesta #1 : 14/01/2020, 07:16:26 am »

Hola.

Te doy una idea esquemática, a ver si te ayuda.

EDITADO

Se tiene que [texx](A-B)-C=A-(B\cup C)
  [/texx].

También vemos que [texx]x\in(B-C)\Rightarrow x\in B
  [/texx]; luego [texx](B-C)\subset(B\cup C)
 [/texx].

Ahora basta ver que el cardinal de B unión C es mayor o igual: [texx]card(B\cup C)\geq(B-C)
  [/texx], con lo que

[texx]card(A-(B\cup C))\leq card(A-(B-C))
 [/texx] y, por tanto, a partir de los dos razonamientos anteriores, tendremos

[texx](A-(B\cup C))\subset(A-(B-C))
  [/texx]; o sea:

[texx]((A-B)-C)\subset A-(B-C)
  [/texx].
Saludos.
En línea

manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.543


Ver Perfil
« Respuesta #2 : 14/01/2020, 11:00:58 am »

Hola feriva, buenas tardes!

Quería saber cómo se define al operador [texx]+[/texx] entre los conjuntos [texx]B[/texx] y [texx]C[/texx].

Gracias y saludos
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.725



Ver Perfil
« Respuesta #3 : 14/01/2020, 12:16:49 pm »

Hola feriva, buenas tardes!

Quería saber cómo se define al operador [texx]+[/texx] entre los conjuntos [texx]B[/texx] y [texx]C[/texx].

Gracias y saludos

Me he equivocado, Manooooh, lo que quería poner era unión. Recordaba que era equivalente y se podía usar el signo, pero no lo encuentro, así que debe de ser un recuerdo equivocado. Sí que encuentro en uno de mis libros antiguos la suma booleana, que se puede (o antiguamente se podía) escribir con “+”, pero es lo mismo que la diferencia simétrica, no es la unión.

Gracias.

Saludos.
En línea

Sintesis
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 14


Ver Perfil
« Respuesta #4 : 14/01/2020, 16:51:31 pm »

Gracias por la ayuda, el operador + se usa para uniones disjuntas en probabilidades según tengo entendido.

En línea
Sintesis
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 14


Ver Perfil
« Respuesta #5 : 17/01/2020, 03:55:13 am »

¿Existe alguna ley para la deducción natural para definir la disyunción como todos los casos posibles que hacen la hacen verdadera con otras disyunciones?

Pensé en esta otra solución pero no se si es correcta.

[texx]6. A-(x\in{B} \vee x\in{C})[/texx]           Def. Union.
[texx]7. A-((x\in{B} \wedge x\in{C}) \vee (x\in{B} \wedge x\not\in{C}) \vee (x\not\in{B} \wedge x\in{C}))[/texx]    ?, I
[texx]8. A-((x\in{B} \wedge x\in{C})^c \wedge (x\in{B} \wedge x\not\in{C})^c \wedge (x\not\in{B} \wedge x\in{C})^c)^c[/texx]     DM
[texx]9. A-((x\in{B} \wedge x\not\in{C})^c)^c[/texx]        SIMP, I
[texx]10. A-(x\in{B} \wedge x\not\in{C})[/texx]     Complemento de un complemento. (Algo como la doble negación en lógica).
[texx]11. A-(B\cap{C^c})[/texx]     Def. interseccion.
[texx]12. A-(B-C)[/texx]     Def. diferencia.
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.725



Ver Perfil
« Respuesta #6 : 17/01/2020, 08:11:56 am »

¿Existe alguna ley para la deducción natural para definir la disyunción como todos los casos posibles que hacen la hacen verdadera con otras disyunciones?

Pensé en esta otra solución pero no se si es correcta.

[texx]6. A-(x\in{B} \vee x\in{C})[/texx]           Def. Union.
[texx]7. A-((x\in{B} \wedge x\in{C}) \vee (x\in{B} \wedge x\not\in{C}) \vee (x\not\in{B} \wedge x\in{C}))[/texx]    ?, I
[texx]8. A-((x\in{B} \wedge x\in{C})^c \wedge (x\in{B} \wedge x\not\in{C})^c \wedge (x\not\in{B} \wedge x\in{C})^c)^c[/texx]     DM
[texx]9. A-((x\in{B} \wedge x\not\in{C})^c)^c[/texx]        SIMP, I
[texx]10. A-(x\in{B} \wedge x\not\in{C})[/texx]     Complemento de un complemento. (Algo como la doble negación en lógica).
[texx]11. A-(B\cap{C^c})[/texx]     Def. interseccion.
[texx]12. A-(B-C)[/texx]     Def. diferencia.


Hola.

No sé decirte, a ver si alguien que sepa más te comenta.

Lo que sí puedo es desarrollar un poco lo que había usado.

1ª:

[texx](A\cap B^{c})\Rightarrow x\in A\wedge x\in B^{c}\Rightarrow
 [/texx]

[texx](A\cap B^{c})\cap C^{c}\Rightarrow x\in A\wedge x\in B^{c}\wedge x\in C^{c}
 [/texx]

y por Morgan

[texx]x\in B^{c}\wedge x\in C^{c}\Rightarrow x\in(B^{c}\cap C^{c})\Rightarrow x\in(B\cup C)^{c}
 [/texx]

o sea, [texx]x\in A\wedge x\notin(B\cup C)\Rightarrow
 [/texx]

[texx]x\in A-(B\cup C)
 [/texx]

Es decir, que consideramos [texx](A-B)-C=A-(B\cup C)
 [/texx]; es de donde partía. Por eso decía que era una idea “esquemática”, en el sentido de que quizá necesitaría desarrollarse un poco todo.

Saludos.
En línea

Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!