ProofTools icon

ProofTools For Mac

4.0/5 1
Certified 100% CLEAN Freeware   

A cross-platform application that was specifically designed to generate graphical semantic tableaux, also known as semantic or proof trees.. #Generate semantic tableau  #Validate formula  #Analytic tableau generator  #Semantic tableau  #Analytic tableau  #Semantic tree  

Description

changelog

Free Download

ProofTools is used to test whether the formula you enter is a logical truth, or whether the argument or proof you enter is valid, or simply to draw a proof tree for a set of formulas.

ProofTools can be used to validate a logical argument or to verify a logical truth, where the logic of the argument or truth can be propositional, predicate or modal, with the use of the proof tree method.

Upon starting the application you will be required to enter one or more premises and/or a conclusion, in order for the application to work.

After that, you can go step by step in order to verify the entered formula (a conclusion alone) or check the validity of the entered argument (premise(s) plus conclusion), or (if no conclusion is entered) to simply draw the proof tree for the set of entered formulas.

The ProofTools application also enables you to add Tarski's world syntax, if you need to, from the upper side of the main window.

What's new in ProofTools 0.6.2:

  • Bugfix: for some proofs, notably the simplest of premise P and conclusion P, the application aborted due to trying to free already-freed memory.
Read the full changelog

ProofTools 0.6.2

add to watchlist add to download basket send us an update REPORT
  runs on:
Mac OS X (Intel only)
  file size:
2.8 MB
  filename:
ProofTools-0.6.2-20200618-macos-64bit.zip
  1 screenshot:
ProofTools - By accessing the main window of the application you will be able to generate a semantic tableau.
  main category:
Utilities
  developer:
  visit homepage
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy