Fix examples/logic/propositional_logic for tight equality
Make separation propositional_logic subdirectory under examples/logic