This video will explain how to do truth trees in the PredLogic software for Howard Pospesel's book "Introduction to Logic: Predicate Logic"
No download links available.