This video will explain how to do proofs in the PropLogic software for Howard Pospesel's book "Introduction to Logic: Propositional Logic"
No download links available.
