This link will take you to the Propositional Calculus Calculator main post which contains all the instructions.
The links below are to DOWNLOAD each of the m.files required to run the Propositional Calculus Calculator (Propositional Logic Calculator):
Still, I advise you visit the main post, also on this blog, to find out how to use it.
numerical string entry.m
index of not general.m
Comments and feedback are welcome :)