Question

Can we add inequalities just like equalities? Like (5x<1) + (3x<1) is 8x<2?

Answer 1

Anybody? I thought this is quite simple, I just wanted to be sure.

Answer 2

sure, but make sure your domain is intact

Answer 3

the + acts like a logical OR, so we just resort to the broadest domain

Answer 4

Thanks, this is one crucial step in a proof I was reading, but it was not stated explicitly. Mind if you elaborate about the domain?