Obor pravdivosti lineárních nerovnic