Область, нестрого заключенная между окружностями х² + у² = 4, х² + у² = 9, описывается предикатом:

Область, нестрого заключенная между окружностью х² + у² = 4 и квадратом, в который она вписана, определяется предикатом:

Для окружности х² + у² = 25, внутренность полукруга, расположенного строго над осью абсцисс, описывается предикатом:

Для предиката р: div(x,3) = mod(x,2), где х изменяется на множестве X = {2, 3, 5, 10, 19}, область истинности равна:

Если переменные x, y описаны как целые (integer), а z – как вещественное (real), то количество различных ошибок в выражении z := x*y mod z + y + max(int(y), y/x) равно:

Если переменные x, y описаны как целые (integer), а z – как вещественное (real), то количество различных ошибок в выражении z :=(y div z)/y + int(y) – y/x равно:

Если переменные x, y описаны как целые (integer), а z – как вещественное (real), то количество различных ошибок в выражении z := ((z*y) mod x)/y + x div y равно:

В списке выражений вида:

2 – 2 = 0,

2 + 3 = 6,

3 + 12,

2 + 2 > 2 + 2,

2 – 0 = 3 – 0,

56 = 50 + 6

приведено всего истинных и ложных высказываний соответственно:

Множество истинности предиката p(x,y) = "x + y = 0", где x, y – целые числа из отрезка [–2; 4], равно:

Для переменной х вещественного типа (real), один и тот же результат при любом входном х > 0 дают все функции списка:

Для переменной х целого типа (integer), один и тот же результат при любом входном х > 0 дают все функции списка: