Учебно-методические комплексы

№ 17 Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m»; пусть на числовой прямой дан отрезок B = [50; 70].

Для какого наибольшего натурального числа А логическое выражение

ДЕЛ(x, A) \/ ((x ∈ B) → ¬ДЕЛ(x, 15))

истинно (т.е. принимает значение 1) при любом натуральном значении переменной х?

№ 18 Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А логическое выражение

(¬ДЕЛ(x, 35) ∧ ДЕЛ(x, A)) → (ДЕЛ(x, 21) ∨ ¬ДЕЛ(x, A))

тождественно истинно (т.е. принимает значение 1 при любом неотрицательном целом значении переменной х)?

№ 19 Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А логическое выражение

(¬ДЕЛ(x, 26) ∧ ДЕЛ(x, A)) → (ДЕЛ(x, 39) ∨ ¬ДЕЛ(x, A))

тождественно истинно (т.е. принимает значение 1 при любом неотрицательном целом значении переменной х)?

№ 20 Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А логическое выражение

¬ДЕЛ(x, А)→(ДЕЛ(x, 36)→ ¬ДЕЛ(x, 54))

тождественно истинно (т.е. принимает значение 1 при любом неотрицательном целом значении переменной х)?