Ответ: Логическое выражение с делимостью
Это официальный ключ к заданию, источник — открытый банк заданий ФИПИ. Свой ответ можно сверить на странице задачи.
В бланк: число или слово без единиц измерения; дробную часть отделяйте запятой.
Обозначим через ДЕЛ($n, m$) утверждение «натуральное число $n$ делится без остатка на натуральное число $m$»; и пусть на числовой прямой дан отрезок $B = [50; 70]$. Для какого наибольшего натурального числа $A$ формула $\mathrm{ДЕЛ}(x, A) \lor ((x \in B) \to \neg\mathrm{ДЕЛ}(x, 16))$ тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной $x$?
Где здесь ошибаются
Проверяют все числа вне отрезка $B$, хотя импликация ограничивает условие только числами внутри $B$.
Забывают, что импликация ложна при истинном условии и ложном заключении.
Ищут наибольший общий делитель всех чисел от $50$ до $70$, а нужно рассмотреть только числа этого отрезка, кратные $16$.