[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] Problema



 
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.