Intro to propositional logic course