Ответьте для каждой пары высказываний A и B на следующие четыре вопроса. Будет ли A достаточным для B? Будет ли A необходимым для B? Будет ли B достаточным для A? Будет ли B необходимым для A?
а) A = «медиана ряда чисел больше 0»; B = «среднее арифметическое ряда чисел больше 0»;
б) A = «граф не содержит эйлерова цикла»; B = «степени всех вершин нечётные»;
в) A = «натуральные числа a и b имеют разную чётность»; B = «сумма (a+b) нечётная»;
г) A = «натуральные числа a и b имеют разную чётность»; B = «произведение ab нечётное»;
д) A = «натуральные числа a и b имеют одинаковую чётность»; B = «произведение ab нечётное».
По §
а) Возьмём упорядоченный ряд −
Значит,
Теперь ряд −
Здесь
б) Из нечётности всех степеней следует отсутствие эйлерова цикла: необходимое условие такого цикла — чётность каждой степени. Следовательно,
Обратное направление неверно. У пути из трёх вершин степени равны
Получаем «нет, да, да, нет».
в) При разной чётности одно число имеет вид
нечётна. При одинаковой чётности сумма либо
г) При разной чётности один множитель чётный, поэтому произведение чётно. Например,
При
д) Одинаковая чётность не гарантирует нечётного произведения:
Если произведение нечётно, ни один множитель не может быть чётным: чётный множитель сделал бы всё произведение чётным. Поэтому оба множителя нечётны и имеют одинаковую чётность. Обратное направление истинно. Ответы — «нет, да, да, нет».
а) Нет, нет, нет, нет.
б) Нет, да, да, нет.
в) Да, да, да, да.
г) Нет, нет, нет, нет.
д) Нет, да, да, нет.
