Задание 15

Знание основных понятий и законов математической логики · 27 заданий

Задание №15
№15
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А ло…
Алгебра логики
Задание №15
№15
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А фо…
Алгебра логики
Задание №15
№15
На числовой прямой даны два отрезка: D = [17; 58] и C = [29; 80]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражен…
Алгебра логики
Задание №15
№15
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А фо…
Алгебра логики
Задание №15
№15
Для какого наибольшего целого неотрицательного числа А выражение (x < A) (y < A) (x · y > 1200) тождественио ложно, т. е. принимает значение 0 при люб…
Алгебра логики
Задание №15
№15
Для какого наибольшего целого неотрицательного числа А выражение (x < A) (y < A) (x · y > 601) тождественио ложно, т. е. принимает значение 0 при любы…
Алгебра логики
Задание №15
№15
Для какого наибольшего целого неотрицательного числа А выражение (x ⩾ А) (у ⩾ А) (x · y ⩽ 270) тождественно истинно, т. е. принимает значение 1 при лю…
Алгебра логики
Задание №15
№15
Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k». Для какого наибольшего натурального числа…
Алгебра логики
Задание №15
№15
Для какого наибольшего целого неотрицательного числа А выражение (x ⩾ A) (y ⩾ A) (x · y ⩽ 200) тождественно истинно, т. е. принимает значение 1 при лю…
Алгебра логики
Задание №15
№15
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А фо…
Алгебра логики
Задание №15
№15
На числовой прямой даны два отрезка: В = [4; 18] и С = [12; 40]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражени…
Алгебра логики
Задание №15
№15
На числовой прямой даны два отрезка: В = [14; 20] и С = [15; 27]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражен…
Алгебра логики

Задание №15 — Сложное логическое выражение

Для какого наименьшего целого числа А формула
$( x^{2} + y^{2} > 128 ) \lor ( y < - x + A )$
тождественно истинна, т. е. принимает значение 1 при любых целых неотрицательных х и у?

Правильный ответ

Пояснение

Решение:

Формула ложна, когда ложны обе части, то есть когда одновременно

$x^2 + y^2 \leq 128$ и $y \geq -x + A$ , то есть $x + y \geq A$ .

Значит требуется: для всех целых неотрицательных $x$ и $y$ с условием $x^2 + y^2 \leq 128$ должно выполняться $x + y \lt A$ .

Найдём наибольшую сумму $x + y$ внутри четверти круга радиуса $\sqrt{128}$ . Максимум суммы при фиксированной сумме квадратов достигается на «диагонали»: при $x = y = 8$ получаем $64 + 64 = 128 \leq 128$ и $x + y = 16$ . Соседние варианты дают меньше: при $x = 9$ остаётся $y^2 \leq 47$ , то есть $y \leq 6$ и $x + y = 15$ ; при $x = 7$ — $y \leq 8$ и $x + y = 15$ .

Итак, максимум равен 16, нужно $16 \lt A$ . Наименьшее целое $A = 17$ .

Ответ: 17