Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Teoria dos conjuntos (lógica)
https://forumdematematica.org/viewtopic.php?f=70&t=6475
Página 1 de 1

Autor:  luana [ 10 jul 2014, 13:38 ]
Título da Pergunta:  Teoria dos conjuntos (lógica)

Como provar que: Se \(A\subset B\) e \(B\subset C\) então \(A\subset C\) ??

Autor:  PKdor [ 10 jul 2014, 13:42 ]
Título da Pergunta:  Re: Teoria dos conjuntos (lógica)

Não sei a forma adequada pra te explicar isso mas de uma olhada nessa imagem... vai te esclarecer sua dúvida.

Anexos:
conj01-01.gif
conj01-01.gif [ 2.29 KiB | Visualizado 1473 vezes ]

Autor:  luana [ 10 jul 2014, 13:55 ]
Título da Pergunta:  Re: Teoria dos conjuntos (lógica)

Assim realmente esclarece mais, mas tem um jeito que eu não sei como fazer que é explicando por meio de prova,pq o professor certamente vai querer argumentações e não símbolos entende? Mas obrigada por tentar tirar minha dúvida :D

Autor:  Walter R [ 10 jul 2014, 19:28 ]
Título da Pergunta:  Re: Teoria dos conjuntos (lógica)  [resolvida]

Uma prova formal é feita da seguinte maneira.
Dizer que \(A \subset B\) implica dizer que se um elemento \(x\) pertence a \(A\), então ele pertence a \(B\), ou seja \(x \in A\Rightarrow x \in B\). Mas temos também que \(x \in B \Rightarrow x \in C\) ( pois \(B \subset C\)). Então temos que \(x \in A \Rightarrow x \in C\), que significa que \(A \subset C\).

Autor:  lordm64 [ 10 jul 2014, 19:42 ]
Título da Pergunta:  Re: Teoria dos conjuntos (lógica)

luana Escreveu:
Assim realmente esclarece mais, mas tem um jeito que eu não sei como fazer que é explicando por meio de prova,pq o professor certamente vai querer argumentações e não símbolos entende? Mas obrigada por tentar tirar minha dúvida :D



Como
\(A\subset B e B \subset C\)

Então
\(x\in A\Rightarrow x\in B \Rightarrow x\in C\)

Portanto \(A\subset C\)

Seria mais ou menos assim:
Se um numero x está contido em A e A é subconjunto de B, esse numero está contido em B, e se B for subconjunto de C esse numero X está contido também em C.

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/