[obm-l] RE: [obm-l] Re: [obm-l] Propriedade da relação de ordem

2011-11-11 Por tôpico Paulo Argolo
Obrigado, Bernardo, pela bela resposta. O autor estabelece as seguintes definições: --- a<=b significa que b = a + u, para algum natural u. --- a Date: Thu, 10 Nov 2011 23:45:53 +0100 > Subject: [obm-l] Re: [obm-l] Propriedade da relação de ordem > From: bernardo...@gmail.com > To: o

[obm-l] Re: [obm-l] Propriedade da relação de ordem

2011-11-10 Por tôpico Bernardo Freitas Paulo da Costa
2011/11/10 Paulo Argolo : > Caros Colegas, > > Como provar a propriedade O_7 da página 110 do livro Fundamentos de > Aritmética, de Hygino Domingues? > > O_7) Se a é menor do que b, então a+1 é menor ou igual a b   (a e b são > números naturais) Eu não tenho o livro, mas acho que uma coisa dess

[obm-l] Propriedade da relação de ordem

2011-11-10 Por tôpico Paulo Argolo
Caros Colegas, Como provar a propriedade O_7 da página 110 do livro Fundamentos de Aritmética, de Hygino Domingues? O_7) Se a é menor do que b, então a+1 é menor ou igual a b   (a e b são números naturais) Abraços do Paulo! =