logika ola: [( 2 + 3)² = 25 ⇒ (2+3)² ≤ 1 to jest zapisane w postaci implikacji a mam napisać zaprzeczenie tego i nie wiem jak to zrobić.. proszę bardzo o pomoc

KarolP: ∼(p⇒q)⇔(p⋀∼q) ∼[( 2 + 3)² = 25 ⇒ (2+3)² ≤ 1]⇔( 2 + 3)² = 25⋀∼[(2+3)² ≤ 1]