Title: Demonstration software in propositional logic