Дано высказывание: "Для того, чтобы функция была дифференцируемой в некоторой точке, необходимо, чтобы она была непрерывной в этой точке".
Пусть 𝐴AA есть высказывание "Функция дифференцируема в точке 𝑥xx", 𝐵BB - "Функция непрерывна в точке 𝑥xx".
Тогда высказывание записывается формулой: