Intro Logic Lectures

Here's another helping of the overheads for my first first-year logic lectures 4 to 10 this term. This is the block of seven lectures on basic propositional logic via truth-tables. I've already posted the very links to the first three very introductory ones — though you can catch up here. The new slides are "dynamic", revealing one bullet point at a time because there is often over-writing, or the dynamic filling-in of truth-tables etc.: for the best effect, select "View > Page Display  > Single Page" in Adobe Reader.

The overheads are there to help speed things up, rescue students from having to read my terrible blackboard writing, and to keep me on message. Needless to say, I do embroider around and about them in the live show, and throw in other remarks as the mood takes me. So the content of the overheads is pretty basic and conventional. Don't expect wild excitements! But for what they are worth, here they are:

Three Connectives
Bivalence; Evaluating Propositions
How to Test Arguments, a Sketch; Introducing PL
Tautologies
Tautological Entailment
The Material Conditional
'Only if'; The Expressive Adequacy Theorem