Обозначим через ДЕЛ(
n,
m) утверждение «натуральное число
n делится без остатка на натуральное число
m». Для какого наименьшего натурального числа
А формула
¬ДЕЛ(x, A) \/ (ДЕЛ(х, 60) \/ ДЕЛ(х,40) → ДЕЛ(х, 30) /\ ДЕЛ(х, 60) \/ ДЕЛ(х, 30) /\ ДЕЛ(х, 40) )
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?