Propriedade 2 _Demonstração 2 (TA)

Re: GRUPO 1
por Carlos Alberto Soares Leite [ANcgr] - domingo, 31 maio 2009, 09:38

Olá, Camilla!
Sim, outra sugestão para a+x =a => x=0 é usarmos o simétrico de a. Vejamos...
Suponhamos a+x = a
Somando-se o simétrico de a, teremos: (-a) + a + x = (-a) + a
Pela propriedade "c", temos: 0+x = 0
Na propriedade "b", vemos: 0+x = x+0 = x
Portanto, x=0
Em resumo: a+x=a => (-a)+a+x = (-a)+a => 0+x=0 => x=0
Abraço,
Carlos.

(Soluções p/ tutora Camilla)

Re: GRUPO 1

por Camilla Neres Peixoto [TD] - domingo, 31 maio 2009, 21:20

Pessoal,

segue abaixo as justificativas para a propriedade 2 que discutimos.

Temos que mostrar que: a + x = a => x = 0.
Justificativa: a + x = a => x + a = a => x = a + (-a) => x = 0. Logo, a + x = a => x = 0.

As justificativas das implicações são:
1ª implicação: é justificada pela propriedade (d);
2ª implicação: é justificada pela propriedade (e);
3ª implicação: é justificada pela propriedade (c).


Outra justificativa para a propriedade 2: Como a = a + 0, temos

a + x = a => a + x = a + 0 => x = 0. Logo, a + x = a => x = 0.

As justificativas das implicações são:
1ª afirmação: é justificada pela propriedade (b)
1ª implicação: é justificada pela afirmação de que a = a + 0;
2ª implicação: é justificada pela propriedade (f);

Me digam se ainda ficou alguma dúvida, pois passaremos para a próxima propriedade!

Um abraço,
Camilla