Высказывании (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 ложно и данный набор значений не подходит.
Ответ: все четыре варианта не подходят.
Здесь небольшая проблемка: при больших R некоторых частей функций не будет видно...
Но тем не менее;
uses Crt;
var x, y, R: real;
begin
ClrScr;
Write(' X = '); ReadLn(X);
Write(' R = '); ReadLn(R);
if x<=-R then y:=-3 else
if (x>=-R) and (x<=R) then y:=-sqrt(R*R-x*x) else
if (x>R) and (x<6) then y:=3+6*(x-6)/(R-6) else
if (x>=6) then y:=(x-9);
ReadLn;
end.
Единственное, что осталось - распечатать значения Y...
Но по условию распечатка Y вроде не требуется... Или я чего-то не понимаю...
Program project1;
var
x,A: integer;
begin
write('x:');
readln(x);
if (x>=-7) and (x<=7) then
A:=15
else
A:=5;
writeln(A);
readln;
end.