Связки и правила: от слов к таблице истинностиЛогика / Разбирать A → B без обращения условия Пробное занятие
Логика · шаг 6 из 32

«Если», необходимое и достаточное

Разбирать A → B без обращения условия · Различать необходимое и достаточное условие

Около 18 минут 5 задач Подсказки рядом

В этом занятии

  • Разбирать A → B без обращения условия
  • Различать необходимое и достаточное условие
  • Находить единственный тип нарушения условного правила

Пригодится: Рекомендуем сначала пройти ««Не», «и», «или»: собираем точное правило».

Твой путь начинается с личного кабинета

Взрослый создаёт аккаунт для себя и отдельные кабинеты для детей. У каждого — свой прогресс и 5 пробных дней обучения без ограничения минут.

Войти или начать бесплатно
Учебное время начнёт считаться после нажатия
Понять — интереснее, чем запомнить.
Разберёмся перед практикой+

«Если», необходимое и достаточное

Материальная импликация A → B читается «если A, то B». Она ложна в одном случае: A истинно, B ложно. Когда A не выполняется, это конкретное правило не нарушено. Такая формализация проверяет сочетание значений; она сама по себе не утверждает причинность, время или содержательную связь A и B.

В правиле A → B условие A достаточно для B: при A правило гарантирует B. Условие B необходимо для A: без B не может быть A, если правило истинно. Например, для допуска нужна регистрация: допуск → регистрация. Регистрация необходима для допуска, но не обязательно достаточна — могут существовать другие требования.

Не следует незаметно обращать стрелку. Из «если датчик сработал, индикатор горит» не следует «если индикатор горит, датчик сработал»: индикатор могли включить вручную. Зато противоположная по отрицаниям запись ¬B → ¬A равносильна A → B в классической логике.

Слова «только если» указывают на необходимое условие. «Файл принимают только если он подписан» означает принят → подписан. А «если файл подписан, его принимают» делает подпись достаточной. Для правил сервиса или проекта эта разница определяет, какие проверки действительно нужны.

A выполненоПравило A → BB требуется
Если условие A выполнено, истинное правило A → B требует выполнения B. Правило не утверждает обратную связь и не объясняет причинность.

Рисунок к заданию

Если условие A выполнено, истинное правило A → B требует выполнения B. Правило не утверждает обратную связь и не объясняет причинность.

Широкий рисунок можно прокручивать пальцем или стрелками клавиатуры. Escape — закрыть.

НА ПРИМЕРЕ

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

  1. A: карточка с красной меткой. B: на карточке есть номер.
  2. Правило имеет вид A → B.
  3. Красная карточка без номера делает A истинным, B ложным — это нарушение.
  4. Карточка другого цвета без номера не нарушает именно это правило: оно не требует нумерации всех карточек.

Загружаем интерактивную модель…

Попробуй самостоятельно

Запиши рассуждения в черновик или сделай построение на бумаге. Эти задания для самостоятельной работы: автоматической проверки и XP за них пока нет.

  1. Объясни, почему отсутствие красной метки не доказывает отсутствие номера. Построй подходящую карточку.
  2. Найди в инструкции формулировку «только если». Перепиши её стрелкой, затем словами укажи необходимое условие; не добавляй обещания достаточности.

Читай и разбирай пример в своём темпе. К практике можно перейти, когда будешь готов.