Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Альтернатива означает, что задача представляет собой проверку некоторого условия R и, в зависимости от его истинности или ложности, выполнения задачи XI или Х2 соответственно. Локальные величины при этом структурировании не возникают. Задача Х2 может отсутствовать, что приводит к конструкции условного оператора без иначе.