Talk:Discrete Mathematics/Logic

Notation
I'm using the notation I prefer and am used to, although I realise that there are alternatives, and that we'll never get everyone to agree on a 'best' set of symbols. This is the notation that was agreed upon across a consortium of Colleges centred on Brighton University from 1990 until (at least) the early 2000's when I finished teaching Discrete Maths on Computing Courses there.

I prefer &rArr; to &rarr; for 'implies'. &rarr; is used for so many other things (limits: x &rarr; 0, mappings a &rarr; b, etc) that it's good to draw a distinction sometimes.

And I prefer $$\scriptstyle \wedge$$ to &and; for AND; it ties in much more obviously with &cap; in Set Theory. But it's a pain to get it to render correctly: I've had to use LaTeX $$\scriptstyle \wedge$$. Despite what it says on http://en.wikibooks.org/wiki/Help:Editing#Mathematical_formulas, if you use &and ; (without the space), it is rendered &and;. Nigeltn35 (talk) 15:18, 22 November 2008 (UTC)