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
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.
top alternatives FREE
top alternatives PAID
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
- main category:
- Utilities
- developer:
- visit homepage