ProofTools icon

ProofTools

4.5/5 2
Certified 100% CLEAN Freeware   

A cross-platform application designed to help you demonstrate logical expressions by generating proof trees (also known as analytic tableaux) for your formulas. #Analytic tableau generator  #Generate analytic tableaux  #Generate semantic tableau  #Analytic tableau  #Analytic tableaux  #Semantic tableaux  

Description

changelog

Free Download

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.

What's new in ProofTools 0.5 Beta:

  • Bugfix: sometimes, when starting the app, its main window's status bar was invisible until that window was resized.
  • Added copy-to-clipboard support for both individual nodes (plain text) and the entire tree (as an image), accessible via a right-click context menu.
  • Added counter-model popups, fully supporting propositional, predicate and modal logic in any combination, with a copy-to-clipboard feature accessible via a right-click context menu.
  • Added support and a toggle box for the modal Euclidean accessibility relation ?, equivalent to toggling modal axiom 5.
Read the full changelog

ProofTools 0.5 Beta

add to watchlist add to download basket send us an update REPORT
  runs on:
Windows All
  file size:
889 KB
  filename:
ProofTools-0.5-beta-20141009-win32.zip
  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.
  main category:
Others
  developer:
  visit homepage
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy