Download 889 KB

ProofTools

0.5 Beta 100% CLEAN Freeware    
4.5/5 2

description

specifications

changelog

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.
read more   
Last updated on October 18th, 2014
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.

0 User reviews so far.

SUBMIT
A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas

  477 downloads

#analytic tableau generator #generate analytic tableaux #generate semantic tableau #analytic tableau #analytic tableaux #semantic tableaux #semantic tree