The Propositional folder contains the skeleton of an instance of Logic.Logic for simple propositional logic.