Карточки
Тесты
Главная
Курсы
Подписка
15. Преобразование логических выражений: #292396
Обозначим через $\text{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$»; и пусть на числовой прямой дан отрезок $B=[50;70]$.
Для какого наибольшего натурального числа $A$ формула $$\text{ДЕЛ}(x,A)\lor\bigl((x\in B)\to\neg\text{ДЕЛ}(x,21)\bigr)$$ тождественно истинна (т. е. принимает значение $1$) при любом натуральном значении переменной $x$?
Импликация $(x\in B)\to\neg\text{ДЕЛ}(x,21)$ ложна, когда $x$ принадлежит отрезку $B$ и одновременно делится на $21$.
На отрезке $B=[50;70]$ находится только одно число, кратное $21$: $x=63.$
При $x=63$ импликация ложна, поэтому для истинности всего выражения должно выполняться условие $$\text{ДЕЛ}(63,A).$$
Следовательно, число $A$ должно быть делителем числа $63$.
Наибольший делитель числа $63$ равен $63$. Наибольшее подходящее значение: $A=63$.
20
