PiR2
Gostaria de reagir a esta mensagem? Crie uma conta em poucos cliques ou inicie sessão para continuar.

Propriedade Cancelativa

2 participantes

Ir para baixo

Propriedade Cancelativa Empty Propriedade Cancelativa

Mensagem por Avicena Seg 11 Jan 2021, 23:29

Mostrar que nos sistemas de axiomas substituímos A.7 pela proposição 1.2.3, então a propriedade cancelativa da multiplicação pode ser demonstrada a partir de um novo sistema de axiomas

Propriedade cancelativa:

1.2.3 Proposição:

Tentativa:


Avicena
Avicena
Jedi
Jedi

Mensagens : 283
Data de inscrição : 06/01/2020
Idade : 27
Localização : Rio de Janeiro

Ir para o topo Ir para baixo

Propriedade Cancelativa Empty Re: Propriedade Cancelativa

Mensagem por Bevila Sex 02 Abr 2021, 19:46

Eu fiz da seguinte maneira:

Utilizando A.7 em 1.2.3, temos:
ab = ac = 0
Podendo-se notar que se ab = ac e, por sua vez, ac = 0, temos que a = 0, uma vez que está presente em ac e ab.

Espero ter ajudado Very Happy
Obs. Também estou me aventurando nesse livro. Wink
Bevila
Bevila
Iniciante

Mensagens : 4
Data de inscrição : 02/04/2021

Ir para o topo Ir para baixo

Ir para o topo

- Tópicos semelhantes

 
Permissões neste sub-fórum
Não podes responder a tópicos