I taught propositional logic a few weeks ago using Discrete Mathematics: An Open Introduction, 3rd edition. See chapter 1 and 3.1.
The topics includes
- logical connectives
- implications
- converse and contrapositive
- universal and existential predicate
- truth table
- valid logic argument
The students found the exercises in the book a little bit too easy for them. So I gave some Knight-and-Knaves type logic puzzles. Then students ask what does this has to do with what they learned in class.
I wonder how can I give some logic problems, which are hard, but not like puzzles.