( ) ⇒ ¬

The converse ( ¬ ⇒ ( )) follows from
Id If Then
249 ¬
248 ¬