Implikacja zxcasd: Warunek konieczny istnienia przegięcia funkcji podwojnie rozniczkowalnej to : Jezeli funkcja posiadą pochodną drugiego stopnia w x₀ jest ciągła w x₀ i posiada punkt przegięcia w x₀ to f''(x)=0. Jak mam napisać implikację przeciwstawną do tego twierdzenia?

PW: Przeciwstawne do p⇒q jest ∼q⇒∼p.