ID: 15.20013 • Источник: Апробация 05.03.2025 • Сложность: basic

Задание №15

ДЕЛ
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Пусть на числовой прямой дан отрезок B = [60, 80]. Для какого наибольшего натурального числа А логическое выражение
ДЕЛ(x, А) ∨ ((x ∈ B) → ¬ДЕЛ(x, 22))
истинно (т.е. принимает значение 1) при любом целом положительном значении переменной х?