1. Главная
  2. Библиотека
  3. Логика
  4. Для какого наименьшего целого неотрицательного числа вы...
Разбор задачи

Для какого наименьшего целого неотрицательного числа выражение \[ (3 m+4 n>66) (m A) (n

  • Предмет: Логика
  • Автор: Кэмп
  • #Математическая логика
  • #Логика программирования
Для какого наименьшего целого неотрицательного числа выражение \[ (3 m+4 n>66) (m A) (n

Условие:

Для какого наименьшего целого неотрицательного числаAA выражение

(3m+4n>66)(mA)(n<A) (3 m+4 n>66) \vee(m \leq A) \vee(n<A)
тождественно истинно при любых целых неотрицательных mm и nn ?

Решение:

Рассмотрим выражение (3m + 4n > 66) ∨ (m ≤ A) ∨ (n < A) для любых неотрицательных целых m и n. Чтобы оно было тождественно истинно, для любых m и n хотя бы одно из трёх утверждений должно быть истинным.

Заметим, что выражение становится ложным, если одновременно выполняются следующие три условия:

  1. 3m + 4n ≤ 66 (отрицание (3m + 4n > 66));
  2. m > A (отрицание (m ≤ A));
  3. n ≥ A (отрицание (n < A)).

    То есть необходимо до...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое логическое преобразование необходимо выполнить для исходного выражения, чтобы найти условия, при которых оно может быть ложным?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет