Множества, кванторы и контрпримеры
Отдельный пример, «каждый» и «существует». Проверяем границы утверждений и порядок условий.
Порядок поможет разобраться постепенно. Любое занятие можно открыть сразу.
Твой маршрут
- 01Различать элемент и подмножествоОткрыть
Множества: принадлежать, пересекаться, включаться
Различать элемент и подмножество · Читать пересечение, объединение и дополнение
- Различать элемент и подмножество
- Читать пересечение, объединение и дополнение
- Проверять включение без неверного обращения
Пригодится: Рекомендуем сначала пройти «Таблица истинности: проверяем все случаи».
5 задач · около 18 минут - 02Переводить общее утверждение в правило для объектаОткрыть
«Все», «некоторые», «ни один»
Переводить общее утверждение в правило для объекта · Правильно отрицать «все» и «существует»
- Переводить общее утверждение в правило для объекта
- Правильно отрицать «все» и «существует»
- Не выводить существование из пустой категории
Пригодится: Рекомендуем сначала пройти «Множества: принадлежать, пересекаться, включаться».
5 задач · около 18 минут - 03Различать ∀x∃y и ∃y∀xОткрыть
Каждому — свой или один для всех?
Различать ∀x∃y и ∃y∀x · Показывать зависимость свидетеля от выбранного объекта
- Различать ∀x∃y и ∃y∀x
- Показывать зависимость свидетеля от выбранного объекта
- Строить небольшую модель отношений
Пригодится: Рекомендуем сначала пройти ««Все», «некоторые», «ни один»».
5 задач · около 18 минут - 04Находить объект, который удовлетворяет условию и нарушает выводОткрыть
Контрпример: один случай против общего правила
Находить объект, который удовлетворяет условию и нарушает вывод · Отличать подтверждающий пример от доказательства
- Находить объект, который удовлетворяет условию и нарушает вывод
- Отличать подтверждающий пример от доказательства
- Исправлять гипотезу после опровержения
Пригодится: Рекомендуем сначала пройти «Каждому — свой или один для всех?».
5 задач · около 18 минут