В логическом операторе 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, нужно учитывать, что значения вещественного типа могут вычисляться с погрешностью, и заботиться о том, чтобы эти погрешности не нарушили замысла автора программы.
Если существо задачи позволяет использовать в этих операторах арифметические выражения целого типа, то упомянутой опасности нет - целые значения вычисляются точно.
