Propositional Logic
Materials about propositional logic are published here.
2.1-PL-Logic
My proposition for this year is ... having you learning propositional logic.
2.2-PL-Calculus
How do you know it is really true?
2.3-PL-DPLLInference
The truth is, it is certainly false.
2.4-tableauxInference
What's on the table..aux?
2.5-PL-Exercises
Some exercises.
Will Carla go to the party?
... Not without a final twist.
Exercises
Have fun!