# Predicate Logic Truth Tree Solver

A new improved version of the Truth Tree Solver is now available at formallogic.com!

The Truth Tree Solver is a free-to-use web tool that determines the consistency of a set of logical sentences according to the rules of either *Sentential Logic* (SL) (aka Propositional Logic or Propositional Calculus) or *Predicate Logic* (PL). Given a set of symbolic sentences, this tool constructs a truth tree and outputs its visual representation using the same format as in **The Logic Book** by Bergmann, Moor and Nelson.

You may indeed use this tool as an alternative to the Student Solutions, or even find the solution for problems of the book for which no solution has been provided.