Строим и проверяем доказательство
Надёжные формы вывода, категории и существование, разбор случаев и поиск пропущенного шага.
Порядок поможет разобраться постепенно. Любое занятие можно открыть сразу.
Твой маршрут
- 01Применять modus ponens и modus tollensОткрыть
Четыре надёжных шага рассуждения
Применять modus ponens и modus tollens · Использовать цепочку условий и исключение альтернативы
- Применять modus ponens и modus tollens
- Использовать цепочку условий и исключение альтернативы
- Находить обращение условия и отрицание основания
Пригодится: Рекомендуем сначала пройти «Контрпример: один случай против общего правила».
5 задач · около 18 минут - 02Соединять включения категорийОткрыть
Категории и силлогизмы: не теряем существование
Соединять включения категорий · Переносить свойство на существующий объект
- Соединять включения категорий
- Переносить свойство на существующий объект
- Замечать необоснованное утверждение существования
Пригодится: Рекомендуем сначала пройти «Четыре надёжных шага рассуждения».
5 задач · около 18 минут - 03Выбирать структуру доказательстваОткрыть
Прямое доказательство, случаи и противоречие
Выбирать структуру доказательства · Проверять полноту разбора случаев
- Выбирать структуру доказательства
- Проверять полноту разбора случаев
- Понимать роль временного предположения
Пригодится: Рекомендуем сначала пройти «Категории и силлогизмы: не теряем существование».
5 задач · около 18 минут - 04Проверять допустимость каждой операцииОткрыть
Проверка рассуждения: пропущенный шаг и инвариант
Проверять допустимость каждой операции · Отличать пример от общего доказательства
- Проверять допустимость каждой операции
- Отличать пример от общего доказательства
- Использовать сохраняющееся свойство для проверки достижимости
Пригодится: Рекомендуем сначала пройти «Прямое доказательство, случаи и противоречие».
5 задач · около 18 минут