1.

Write down the negations of the following assertions (where m; n; a; b N): (i) if Coke is not worse than Pepsi then nothing Mandelson says can be trusted.

Is the following the generally correct and complete? If coke (not) is not worse than pepsi than madnelson can be trusted or cannot be trusted mandelson can be trusted so coke is worse than pepsi Can anyone recommend any texts where logic of this kind (mathematical I guess), suitable for self study or even unsoluble excepting serious effort, is introduced and developed fully (into whatever it develops)? I have been eyeing up **Introduction to Mathematical Logic** by **Elliott** **Mendelson, **is this suitable, or not, what is the best text out there? I have been, and will be, studying Aristotelian Logic in a different context, how do these two compare in terms of similarity, difference, overlap etc.