Задание 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 — Сложное логическое выражение

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
(ДЕЛ(x, 2) → ¬ДЕЛ(x, 3)) \/ (x + A ≥ 100)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?

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

Пояснение

Решение:

Дизъюнкция $(\text{ДЕЛ}(x, 2) \rightarrow \neg \text{ДЕЛ}(x, 3)) \lor (x + A \ge 100)$ ложна только тогда, когда ложны оба слагаемых.

Первая скобка — импликация; она ложна ровно тогда, когда $x$ делится на 2 и при этом не выполняется $\neg \text{ДЕЛ}(x, 3)$ , то есть когда $x$ делится и на 2, и на 3 — иначе говоря, когда $x$ кратно 6.

Значит вторая скобка $x + A \ge 100$ обязана быть истинной для всех $x$ , кратных 6 (при остальных $x$ формула истинна и без неё).

Условие $x + A \ge 100$ тем жёстче, чем меньше $x$ . Наименьшее натуральное кратное шести — это $x = 6$ , откуда $6 + A \ge 100$ , то есть $A \ge 94$ .

При $A = 94$ для любого кратного 6 числа $x \ge 6$ выполнено $x + 94 \ge 100$ , значит наименьшее подходящее значение равно 94.

for A in range(1, 200):
    if all((x % 2 != 0 or x % 3 != 0) or x + A >= 100
           for x in range(1, 10000)):
        print(A)   # 94
        break

Ответ: 94