Обозначим утверждение «точка является точкой экстремума гладкой функции» через А, утверждение «производная функции в данной точке равна нулю» через В. Тогда в утверждении «точка является точкой экстремума гладкой функции только в том случае, если производная в этой точке равна нулю» условие …