GabLem.com

Truth Tree Solvers

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

Sentential Logic Truth Tree Solver

Sentential Logic Truth Tree Solver

This tree solver allows you to generate truth trees for Sentential Logic (SL).

Start the old version of the Truth Tree Solver!

Predicate Logic Truth Tree Solver

Predicate Logic Truth Tree Solver

This tree solver allows you to generate truth trees for Predicate Logic (PL).

Start the old version of the Truth Tree Solver!