Использование законов эквивалентности позволяет производить следующее полезное действие:
Предикат с переменными любых типов, который может содержать кванторы и не иметь скобок, не являющимися необходимыми для его однозначного толкования называется:
Отрицательные числа всегда имеют в своем двоичном представлении:
Какое свойство определяет то, что алгоритм всегда обязан иметь одну или несколько выходных величин:
Среди огромного множества всех предикатов особую роль играют те из них, которые всегда являются:
Какое свойство определяет то, что алгоритм должен всегда заканчиваться после выполнения конечного числа шагов:
Какое свойство определяет то, что между любыми двумя различными числами всегда найдется отличное от них третье:
Использование аплетов дает возможность:
Ограничение на использование кванторов в предикатах таково:
Переменные, которые всегда имеются ровно в одном экземпляре, независимо от того как много имеется объектов данного класса называются:
