Высказывании (Y+1 > X) ∧ (Y+X <0) ∧ (X>1) истинно, если истинен каждый из трех предикатов.
1) X = 0,5; Y = -1,1
Y+1 > X; -1.1+1 > 0.5; -0.1 > 0.5 ложно и данный набор значений не подходит.
2) X = 1,1; Y = -4
Y+1 > X; -4+1 > 1.1; -3 > 1 ложно и данный набор значений не подходит.
3) X = -1; Y = -4
Y+1 > X; -4+1 > -1; -3 > -1 ложно и данный набор значений не подходит.
4) X = -0,1; Y = -1,1
Y+1 > X; -1.1+1 > -0.1; 0-.1 > -0.1 ложно и данный набор значений не подходит.
Ответ: все четыре варианта не подходят.