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 <[EMAIL PROTECTED]> 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 =========================================================================