Now the negation of :

.......... is.............

............ ......................

Now drop and we are left with:

............~ .................................................. .....................................1

.But (1) is equivalent to:

....................... .................................................. .......................................2

And introducing back the for all quantifier we get:

.................. .................................................. ........................................3

FOR all integers 2m is not odd............................................... ...........