Раздел 44 · Логика и типы

Отрицание и игра: докажи или опровергни

junior~25 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Вельский · адвокат

Сыграем, инспектор. Я утверждаю, ваш стажёр опровергает. Утверждение такое: каждого грузчика, который входил на склад, кто-то видел. Найдёт контрпример, его взяла. Не найдёт, значит, я прав, и свидетели у нас есть на каждого.

Сомова пододвигает тебе стул: «Играй. Но сначала пойми, что именно ты ищешь».

«Опровергнуть» значит доказать отрицание. «Неверно, что каждого кто-то видел» звучит как приговор, но это не план действий. Кого искать, с каким свойством? В этом уроке научимся переписывать отрицание так, чтобы из него был виден план. А потом сыграем с Вельским по правилам, где выигрыш и есть доказательство.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.