I've noticed that most of questions about logic are either asked or answered in a way that quietly assumes classic logic, and whereas this might be appropriate at an high-school level (I still maintain it isn't, but that's a whole different can of worms) I think it may be worthwhile to make the distinction clear in here, asking for more rigour instead of seeing logic as a blind and empty dance of symbols.
I'll make an example to help clarify (I hope) my point.
This question's answers use classical logic in a pretty evident way (both use the law of the excluded middle). In fact only $(\mathrm p \wedge \mathrm q) \vee (\neg\mathrm p \wedge \neg\mathrm q) \triangleright \mathrm p \equiv \mathrm q$ whereas the opposite can't be proved in N.
Now, the question specifically talks about a Discrete Mathematics text, which means that classical logic is implied, but there may be questions in which the distinction is actually useful.
Your thoughts on dealing with this?