Статья 310

Старое значение при этом пропадает. Например, увеличивает значение на 1. Такая интерпретация присваивания элементарно описывается и логически.
Пусть состояние памяти, создавшееся после присваивания, удовлетворяет условию здесь можно понимать как формулу языка формальной арифметики, тогда то состояние, которое было до присваивания, можно описать формулой. В программной логике такое утверждение записывается.
Например, чтобы после присваивания стало, необходимо и достаточно, чтобы до него было.
Уже для присваиваний видно, как различаются логическое и операциональное истолкования программ если для операционального истолкования легко объяснить, что будет после исполнения той или иной конструкции, но редко можно восстановить то, что было до ее исполнения, то при логическом - наоборот.
Далее, операторы могут соединяться в последовательность один за другим в этом случае они последовательно и выполняются.