Thread: Proving Statement True

x<3, y>1 --> (implication) x-y<2

I know that this statement is true but I am having trouble approaching the proof. New to this statement stuff as I just recently started uni but I want to get implication proofs down pack ASAP. Thx in advance.

Hello,

Well, just say that as y>1, -y<-1
Hence (x<3 && -y<-1) => x-y < 3-1=2

but then arent u assuming that x>a, y>b is equivalent to x-y>a-b which is a false assumption

Nope, i'm assuming that t<a and u<b => t+u<a+b, which is true.

It's -y<-1, but it's exactly the same as the t<b above, with t=-y and b=-1


If you prefer, it's (x<3 && -y<-1) => x+(-y) < 3+(-1)=2