Задача #5785
Логические выражения
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Сколько существует целых положительных значений A, таких что формула ДЕЛ(A,5)∧(¬ДЕЛ(2020,A)→(ДЕЛ(x,1718)→ДЕЛ(2023,A)))
тождественно истинна, то есть принимает значение 1 при любом натуральном х?
Войдите, чтобы история ответов и статистика сохранялись.
Решение
Ответ
6