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