Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m»; и пусть на числовой прямой даны отрезки B = [130; 180].
Для какого
наименьшего натурального числа А формула
\(\negДЕЛ(x, 3) \lor ((x ∈ B) \to \negДЕЛ(x, A))\)
тождественно истинна (т.е. принимает значение 1) при любом целом положительном значении переменной х?