Вельский · адвокат
Пять утверждений. Про отношения, про функции, про числа, всё из вашей же картотеки. Какие-то из них верны, какие-то нет. Я не скажу, какие. Отдел, который на слушании перепутает верное с неверным, судья слушать не станет.
Вельский не спорит о фактах. Он проверяет, умеет ли отдел отличать доказанное от недоказанного. Это хороший вопрос, и отвечать на него стоит всерьёз: на слушании отдел будет опираться на общие утверждения о картотеке, и каждое придётся либо доказать, либо снять.
В каждом из пяти утверждений есть «для всех» или «существует», иногда прямо, иногда в словах «любой» и «найдётся». От квантора зависит, что считать доказательством и что опровержением. В уроке 10 это была игра с Вельским на маленькой модели. Теперь модели бесконечные или произвольные, перебрать их нельзя, и вместо игры нужно рассуждение.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.