Олимпиадный тренинг

Задача . май-2024-15


Задача

Темы:
Обозначим через \(ДЕЛ(n, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)»; и пусть на числовой прямой дан отрезок \(B = [50; 60]\)Для какого наибольшего натурального числа \(А\) формула
\(ДЕЛ(x, A) \lor ((x \in B) \rightarrow \neg ДЕЛ(x, 13))\) 
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной \(x\)?
 

time 1000 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя