Problem #PRU-5052

Problems Mathematical logic

Problem

The numbers \(x\) and \(y\) satisfy \(x+7 \geq y+8\). Prove that \(x>y\).