Re: Lei do Corte

["José Paulo Carneiro" <jpqc@xxxxxxxxxxxxx>]

Sai dapropria proposicao direta:
m+p < n+p =>  (m+p)+(-p) < (n+p)+(-p)
o que eh o mesmo que m < n


-----Mensagem original-----
De: Marcelo Souza <marcelo_souza7@hotmail.com>
Para: obm-l@mat.puc-rio.br <obm-l@mat.puc-rio.br>
Data: Quarta-feira, 4 de Outubro de 2000 14:15
Assunto: Re: Lei do Corte


>oi, essa lei do corte saiu da proposiç]ao que m<n => m+p<n+p, pede pra
>provar que a reciproca desta proposiç]ao usando absurdo, monotonicidade e
>tricotomia.
>espero que seja isso...
>abraços
>marcelo
>
>>From: "José Paulo Carneiro" <jpqc@uninet.com.br>
>>Reply-To: obm-l@mat.puc-rio.br
>>To: <obm-l@mat.puc-rio.br>
>>Subject: Re: Lei do Corte
>>Date: Tue, 3 Oct 2000 21:08:11 -0300
>>
>>Eh preciso primeiro esclarecer a que lei do corte voce se refere:
>>a de uma parcela na adicao de numeros (que numeros?),
>>a de um fator na multiplicacao (de numeros? quais?),
>>e ainda quais sao os pressupostos dos quais se parte.
>>
>>-----Mensagem original-----
>>De: Marcelo Souza <marcelo_souza7@hotmail.com>
>>Para: obm-l@mat.puc-rio.br <obm-l@mat.puc-rio.br>
>>Data: Terça-feira, 3 de Outubro de 2000 13:42
>>Assunto: Lei do Corte
>>
>>
>> >Oi pessoal
>> >Alguém poderia me ajudar? Como posso provar a Lei do Corte por absurdo,
>> >usando a tricotomia e a monotonicidade?
>> >Abraços
>> >Obrigado
>> >Marcelo
>>
>_________________________________________________________________________
>> >Get Your Private, Free E-mail from MSN Hotmail at
http://www.hotmail.com.
>> >
>> >Share information about yourself, create your own public profile at
>> >http://profiles.msn.com.
>> >
>> >
>>
>
>_________________________________________________________________________
>Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.
>
>Share information about yourself, create your own public profile at
>http://profiles.msn.com.
>
>