Propositional Logic in AI