Re: [obm-l] Problema

[Augusto Cesar de Oliveira Morgado <morgado@xxxxxxxxxxxxxxx>]

Suponho que sejam axiomas de corpo, ou pelo menos de dominio de integridade.

ab = ac implica ab - ac = 0 implica a(b-c) = 0 implica a=0 ou b-c=0  implica a=0 ou b=c que, se a diferente de 0, implica b=c


Em Thu, 1 Jan 1998 04:20:38 -0200, Fernando <fernandom@sefaz.ce.gov.br> disse:

> 
> Gostaria de ajuda para o seguinte problema:
>  1) Mostrar que,se no sistema de axiomas substituirmos a propriedade cancelativa da Multiplicação( a(diferente de 0) , se ab=ac, então b=c) pela proposição (a.b=0.Então, a=0 ou b=0),  a propriedade cancelativa da multiplicação pode ser demonstrada a partir de novo sistema de axiomas. 
> 
> Atenciosamente, 
> Fernando. 
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================