# is that proof correct

## Recommended Posts

In proving that :$x\leq y\wedge 0\leq z\Longrightarrow xz\leq yz$ we have the following proof:

Let ,:$x\leq y\wedge 0\leq z$ and

let ,$\neg(xz\leq yz)$.......................................................1

But from (1) and using the trichotomy law we have :yz<xz.And using the fact $0\leq z$ we have for 0= z, y0<x0 => 0<0 , a contradiction since ~(0<0)

Hence $xz\leq yz$

##### Share on other sites

No this "proof" is not valid! In particular, the negation of "$xz\le yz$" is NOT "$xz> yz$" for all values of x, y, z satisfying the conditions. It is that $xz> yz$ for some such values of x, y, and z.

Indeed, you cannot prove this unless you use some property of "inequality" such as "if $x\ge 0$ and $y\ge 0$ then $xy\ge 0$".

Edited by Country Boy

## Create an account or sign in to comment

You need to be a member in order to leave a comment

## Create an account

Sign up for a new account in our community. It's easy!

Register a new account

×

• #### Activity

×
• Create New...

## Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.