Click on Slides on Propositional logic to open the resource.