После выполнения этого фрагмента программы значение x будет равно 6.
условие x=7 при x=7 будет иметь значение true (истина), значит будет выполняться тело цикла.
В цикле:
1. writeln(x) - вывод на экран значения x (то есть на экране будет 7);
2. значение x уменьшается на 1 x=x-1=6
Вновь проверяется условие x=7 при x=6 будет иметь значение false (ложь)
Цикл на этом заканчивается