Логический оператор IF

В логическом операторе IF используется логическое выражение. Частный вид логического выражения — отношение. Отношение — это два арифметических выражения А1 и А2, между которыми написан знак отношения.
Во многих языках программирования (так сложилось исторически) вместо знаков отношения =, ≠, >,≥ <, ≤ употребляется последовательность букв (имеющих мнемонический смысл) и точки. В зависимости от текущих значений переменных, входящих в арифметические выражения А1 и А2, отношение может либо удовлетворяться, либо не удовлетворяться.

Например, отношение 2* X* *2 — 3* X >0

при X = 2 удовлетворяется, а при X = 1 не удовлетворяется.

Существуют два логических значения, обозначаемых словами истина и ложь, как отношение к шоколаду (нравится – не нравится).

Значение отношения есть истина, если оно удовлетворяется, и ложь, если оно не удовлетворяется.

Перейдем теперь к использованию отношения в логическом операторе.

Логический оператор IF имеет синтаксическую структуру: IF (L) S, где IF — ключевое слово; L — логическое выражение (то есть отношение); S — безусловный оператор, то есть любой оператор, кроме оператора IF и оператора цикла DO.

Действие логического оператора IF заключается в следующем: если логическое выражение L имеет значение истина, оператор S выполняется; если значением L является ложь, оператор S не выполняется. Таким образом, в последовательности операторов
S1
IF (L) S2
S3
где SI, S2 представляют собой некоторые безусловные операторы, выполняются операторы SI; S2; S3, если значение L есть истина; или оператор S1, а за ним S3, если это значение — ложь.

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

Если существо задачи позволяет использовать в этих операторах арифметические выражения целого типа, то упомянутой опасности нет — целые значения вычисляются точно.