A tutorial program for propositional logic with human/computer interactive learning