Proofs in Computer Science (Optional) · Certificates

Lesson 4

Nikolai Chukhin · Alexander S. Kulikov

How to convince your friend that this system of inequalities has no solutions? \[\begin{cases}x+y &\ge 5\\ -x+y &\ge -2\\ x-3y &\ge 0\\\end{cases}\]