Propriedade 9 (TA)

Re: GRUPO 1
por Carlos Alberto Soares Leite [ANcgr] - quinta, 28 maio 2009, 23:18

Boa noite a todos!

Justificativa de: se e

Suponhamos e .

Pela propriedade "l" (se , ), temos: , e usando a propriedade "h" (), vemos que .

Em resumo, temos: e , portanto, e .

PS.: argumentos utilizados através das propriedades operacionais "l" e "h", vistas na Unidade 4 do livro texto "Tópicos em Álgebra" (pág. 3).

Sds,

Carlos Leite.

(Solução p/ tutora Camilla)

Re: GRUPO 1

por Camilla Neres Peixoto [TD] - sexta, 29 maio 2009, 13:20

Oi pessoal,

vou expor aqui a solução da demostração da propriedade 9 em mínimos detalhes.

O que queremos mostrar é que:
Então vamos lá:

(1): é justificada pela propriedade i;
(2): é justificada por princípio de boa definição da multiplicação;
(3): é justificada pelas propriedades g e h;
(4): é justificada pelas propriedades i;
(5): é justificada pelas propriedades h.

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

Um abraço,
Camilla