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

На числовой прямой даны два отрезка: В = [10; 15] и С = [20; 27]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражение
$\neg ( ( ( x \in В ) \lor ( x \in С ) ) \rightarrow ( x \in А ) )$
ложно (т. е. принимает значение 0) при любом значении переменной х.

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

Пояснение

Решение:

Выражение $\neg\big(P \rightarrow Q\big)$ ложно при всех $x$ тогда и только тогда, когда сама импликация $P \rightarrow Q$ истинна при всех $x$ , где $P = (x \in B) \lor (x \in C)$ , а $Q = (x \in A)$ .

Импликация истинна всюду, если из $P$ следует $Q$ , то есть если отрезок $A$ содержит всё объединение

$B \cup C = [10;\ 15] \cup [20;\ 27]$ .

Так как $A$ — отрезок (связное множество), он обязан содержать и промежуток между $B$ и $C$ . Наименьший отрезок, включающий обе части, — это $[10;\ 27]$ .

Его длина $27 - 10 = 17$ .

Ответ: 17