ProofTools 0.4.2 Beta

A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas
ProofTools is designed to test if a formula is a logical truth and if a certain argument is valid. The program allows you to enter the formula and view the test steps required to test it.

You can review the demonstration steps in the main window and export them to a PNG image in order to use it in your presentations.

Note: This is a cross-platform application, available for OS X and Linux as well.

last updated on:
June 11th, 2014, 15:13 GMT
file size:
838 KB
developed by:
Laird Shaw
license type:
operating system(s):
Windows All
C: \ Others \ Home & Education


In a hurry? Add it to your Download Basket!

user rating 1



2 Screenshots
ProofTools - The main window of the ProofTools application allows you to enter the formula that you want to verify.ProofTools - You can export the steps of the demonstration as a PNG image from the File menu.
What's New in This Release:
  • New features:
  • Turned the "abbreviated tree" feature into an option (accessible via a checkbox), defaulting to off rather than mandatorily on as it had been.
  • Implemented greater sophistication of handling of parentheses, including:
  • Provided an interface option (a dropdown box) to (de)normalise parentheses, either universally across the tree, or from the current point onwards.
read full changelog

Add your review!