i need help on this question
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............................................... ...........