Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». При скольких целых неотрицательных значениях A выражение
ДЕЛ(А, 25) /\ (ДЕЛ(х, 24) /\ ДЕЛ(х, 75) → ДЕЛ(х, А))
тождественно истинно, то есть принимает значение 1 при любом натуральном значении переменной х?