DESARROLLO DE SOFTWARE

FUNDAMENTOS DE LA PROGRAMACION

UNIDAD 1, ACTIVIDAD 2

ELABORADO POR: ANDRS ISMAEL GMEZ LAMADRID BONILLA

Folio: ES162006426

PROFESOR: MAESTRO JAVIER BELTRN VALENCIA

Axiomas de orden

*-z>0=>z<0

*x,y >0=>x+y>0

*x,y >0=>xy>0

*x,y <0=>xy>0

*x 0=>x2>0

*1>0

*X>0=>x-1>0

*X>0=>x-1<0

*Xy>0=>x,y>0 o x,y,<0

*-z>0=>z<0

Aplicacin de la propiedad de monotona para la suma

-z>0
=> (-z)+z>0+z
=>0>z

Se Aplica la equivalencia entre <> para obtener la conclusin

*x,y >0=>x+y>0

x >0=>x+y>y+0
=>x+y>y
Como y >0 tenemos por transitividad la conclusin

*x,y >0=>xy>0

Aplicamos la propiedad de multiplicativa para factor positivo y

x>0=>xy>0y

y como 0y=0

=>xy>0
*x,y <0=>xy>0

Aplicacin de la propiedad multiplicativa para factor negativo y

x<0=>xy>0y y 0y=0

=>xy>0

*x 0=>x2>0

Aplicamos las propiedades anteriores de acuerdo a si x>0 o x<0

*1>0

Se aplic la proposicin anterior como 1 como x

*X>0=>x-1>0

x>0=>xx-1<0x-1

=>1<0

*X>0=>x-1<0

Sigue de la misma forma en la que la tricotoma es 0 o mayor a 0

*Xy>0=>x,y>0 o x,y,<0

Aplicamos la propiedad multiplicativa con el factor positivo, X-1

Xy>0=> x-1 xy>0 o X-1 0

=> y <0