Использование законов эквивалентности позволяет производить следующее полезное действие:

Использование круглых скобок для группировки всегда позволяет:

Для предикатов с кванторами справедливы дополнительные законы эквивалентности, называемые также:

Использование аплетов дает возможность:

Ограничение на использование кванторов в предикатах таково:

Римскому числу MMMCMXCIX соответствует следующее:

Римскому числу MCCVII соответствует следующее:

Римскому числу MMXLV соответствует следующее:

Использование чисел с плавающей точкой является наиболее распространенным способом реализации:

Ограничивающая функция позволяет:

Язык Java позволяет работать с массивами элементов: