Archive for October 9th, 2011

Basic logic — summary

October 9, 2011

Here is the promised post that I hope will be easier to refer back to than the much longer posts I’ve written on individual aspects of basic logic. What I imagine people doing is reading the longer posts and using this one to jog their memories later. If you can think of any important points that I made in earlier posts and have forgotten to mention here, I’d be grateful to know of them.

Once again, the main topics dealt with were these.

Logical connectives. AND, OR, NOT, IMPLIES (or in symbols, \wedge,\vee,\neg,\implies).

Quantifiers. “for every” and “there exists” (or in symbols, \forall and \exists).

Relationships between statements. Negation, converse, contrapositive.