|
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. |