10 ноября 12:44

Тип 15 № 14093

Поделиться:

Обозначим через ДЕЛ(n,mn, m) утверждение «натуральное число nn делится без остатка на натуральное число mm»; пусть на числовой прямой дан отрезок B=[200;300]B = [200; 300]. Для какого наибольшего натурального числа AA логическое выражение

ДЕЛ(x,A)∨((x∈B)→¬ДЕЛ(x,77))ДЕЛ(x, A) \lor ((x \in B) \rightarrow \negДЕЛ(x, 77))

истинно (т. е. принимает значение 1) при любом целом положительном значении переменной xx?