Статья 313

Заметим, что логическая формулировка дает указания, когда целесообразно применять условный оператор. А именно, если нельзя достичь нынешней цели сразу, но можно достичь ее в ряде частных случаев, то целесообразно попытаться объединить эти случаи. Конечно, для построения необходимо, чтобы разбиение исчерпывало все возможности, доступные в данный момент, но этого недостаточно. Выражения могут быть сложными утверждениями, содержащими кванторы, а проверка истинности таких формул не может быть проведена чисто механически, компьютером, мы должны заменить их простыми, легко проверяемыми формулами. Порою для этого нужно проделать предварительные вычисления, определить некоторые вспомогательные величины для сравнений.

логическая

логическая

Описание условного оператора логическими средствами ставит некоторые вопросы.