Рассмотрим цикл for (int i = 1; i <= 5; ++i)

1) i = 1: 1 <= 5 верно

2) i = 2: 2 <= 5 верно

3) i = 3: 3 <= 5 верно

4) i = 4: 4 <= 5 верно

5) i = 5: 5 <= 5 верно

6) i = 6: 6 <= 5 ложь

Условие i <= 5 было выполнено 5 раз, то есть цикл выполнится 5 раз

Рассмотрим цикл for (i = 5; i > 0; i--)

1) i = 5: 5 > 0 верно

2) i = 4: 4 > 0 верно

3) i = 3: 3 > 0 верно

4) i = 2: 2 > 0 верно

5) i = 1: 1 > 0 верно

6) i = 0: 0 > 0 ложь

Условие i > 0 было выполнено 5 раз, то есть цикл выполнится 5 раз. На каждом шаге будет выведено значение i, поэтому после цикла можно наблюдать следующую последовательность:

5 4 3 2 1