ID: 15.30007 • Источник: СтатГрад 17.03.2021 • Сложность: medium
Задание №15
ДЕЛ
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».
Для какого наименьшего натурального числа A формула
ДЕЛ(A, 45) /\ (ДЕЛ(750, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(120, x)))
тождественно истинна, то есть принимает значение 1 при любом натуральном x?
Для какого наименьшего натурального числа A формула
ДЕЛ(A, 45) /\ (ДЕЛ(750, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(120, x)))
тождественно истинна, то есть принимает значение 1 при любом натуральном x?