Из ложного утверждения следует все, что угодно?
Угу! Тест направлен на выяснение процента участников форума, это понимающих.
У меня каждый год с этой формулой одна и та же хохма. Выписываю её студентам на доске, спрашиваю, верна или нет. Все дружно с мест отвечают: "Нет!". Нарочито тяжело вздыхаю и начинаю объяснять, почему они не правы. Такой типа педагогический приём
-- Вт апр 03, 2012 21:26:44 --Матлогика позволяет много таких приколов на семинарах.
Например, чему равен

?.. По определению для двух множеств

и

запись

обозначает множество всех функций из

в

. Вспоминаем, что формально

. Теперь чему равно

? Вспоминаем определение функции и убеждаемся, что существует только одна функция из

в

, равная

. Таким образом,

. Наконец, вспоминаем, что формально

и получаем

.
В этом году (впервые) с мест последовал вопрос о том, почему тогда в матане

считается неопределённостью. Пришлось тяжело вздохнуть (уже непритворно) и подробно объяснить, что да почему. Заняло минут 10
