1. Главная
  2. Библиотека
  3. Высшая математика
  4. Обосновать метод доказательства «разбором случаев»: для того, чтобы доказать формулу (A1 ∨ A2 ∨ …∨ An) ⊃ B, необходимо и д...
  • 👋 Решение задач

  • 📚 Высшая математика

решение задачи на тему:

Обосновать метод доказательства «разбором случаев»: для того, чтобы доказать формулу (A1 ∨ A2 ∨ …∨ An) ⊃ B, необходимо и достаточно доказать формулу (A1 ⊃ B) & (A2 ⊃ B) &…& (An ⊃ B).

Дата добавления: 25.08.2024

Условие задачи

 Обосновать метод доказательства «разбором случаев»: для того, чтобы доказать формулу (A1A2 ∨ …∨ An) ⊃ B, необходимо и достаточно доказать формулу (A1B) & (A2B) &…& (AnB).

Ответ

Пусть формула (A1 A2 An) B ложна (то, что мы начинаем доказательство, предполагая, что формула ложна, а не истинна, продиктовано тем обстоятельством, что при этом выборе доказательство короче), тогда формула B ...

Потяни

Активируй безлимит с подпиской Кампус

Решай задачи без ограничений

Кампус Библиотека

  • Материалы со всех ВУЗов страны

  • 2 000 000+ полезных материалов

  • Это примеры на которых можно разобраться

  • Учись на отлично с библиотекой