Today I tried something different in logic...
I divided the class into groups -- with at least one A student per group -- and an even distribution of so-so students and poor students.
I assigned each group a problem to do and told them to write a legible proof.
I put the proofs on the data projector and we talked about them.
I did this instead of doing much of a 'lecture' -- about the new rules. I briefly discussed the rules and then had them work with the rules and ask questions as they came up.
The results were pleasing -- we discussed many more problems than we would have using other methods. Students discussed what to do and how to do it -- and helped one another pretty well.
I like this method enough to do it again -- and next semester!