1. Главная
  2. Библиотека
  3. Логика
  4. Определить наименьшее целое число А, при которой формул...
Разбор задачи

Определить наименьшее целое число А, при которой формула \[ ((x

  • Предмет: Логика
  • Автор: Кэмп
  • #Математическая логика
  • #Логика программирования
Определить наименьшее целое число А, при которой формула \[ ((x

Условие:

Определить наименьшее целое число А, при которой формула

((x<3)(xxA))((yy<A)(y<15)) ((x<3)-(x-x \leq A)) \wedge((y-y<A)-(y<15))

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных х и у).

Решение:

Рассмотрим внимательно запись формулы. Обратите внимание, что знак «–» здесь интерпретируется как символ логической импликации, то есть выражение (P – Q) означает «если P, то Q». Тогда данная формула

  ((x < 3) – (x – x ≤ A)) ∧ ((y – y < A) – (y < 15))

принимает вид двух импликаций, соединённых логическим «И». При этом используем то обстоятельство, что выражения вида «x–x» и «y–y» равны нулю для любых значений x и y.

Шаг 1. Рассмотрим первую импликацию. Запишем её в виде:
  Если [x < 3], то [x – x ≤ A].

Поскольку x – x =...

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

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

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

Какое свойство логической импликации (P → Q) является ключевым для обеспечения тождественной истинности формулы, если посылка (P) может быть ложной?

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

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

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

Топ 3 ошибок

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

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