Статья 546

Построенная логика может быть применена для анализа структур управления, в которых учитывается расход временных ресурсов.

Эта логика может быть также использована при построении новых языков программирования, в которых логические выражения являлись бы выражениями построенной выше логики.
Рассмотрим условный оператор 1-2, где а - логическое выражение, 1 и 2 - операторы.
В языке программирования Бейсик логические выражения относительно просты и никаких проблем с выполнением условного оператора возникнуть не может. Если же взять язык Паскаль, то ситуация резко меняется.

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

Данная функция принимает значение, если формула классического исчисления предикатов доказуема. Если же недоказуема, то в некоторых случаях функция принимает значение 4, а в некоторых просто неопределена.