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

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

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

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

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

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

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

(ДЕЛ(x, 2) → ¬ДЕЛ(x, 5)) \/ (x + A ≥ 70)

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

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

Для какого наибольшего натурального числа А формула

ДЕЛ(x, A) \/ ((x ∙ B) → ¬ДЕЛ(x, 16))

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

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

Для какого наибольшего натурального числа А формула

ДЕЛ(x, A) \/ ((x ∙ B) → ¬ДЕЛ(x, 13))

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