[obm-l] Re: [obm-l] Re: [obm-l] Axiomas de ordem (análise)

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Wed, Mar 03, 2004 at 07:21:21PM -0500, Qwert Smith wrote:
> 
> Epa, mas como x pertence a P e -x pertence a P sao mutualmente exclusivas, 
> entao 1 pertertencer a P significa que -1 nao pode pertencer a P

Claro, mas o que se queria provar era que 1 pertence a P
e isto eu demonstrei. Depois disso você pode provar várias
outras coisas, entre elas que (-1) não pertence a P
(como você acaba de fazer).

[]s, N.

> >On Wed, Mar 03, 2004 at 06:16:48PM -0300, niski wrote:
> > > We assume given a subset P of R, called the subset of positive elements
> > > satisfying the ordering axioms:
...
> >Como 1 é diferente de 0, ou 1 ou -1 está em P (ORD1).
> >Se (-1) pertence a P então (-1)*(-1) = 1 pertence a P (ORD2).
> >Assim em qualquer caso 1 está em P.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================