ProofTools 0.5 Beta
Features at a glance
The application can be used to test whether an argument or proof is deductively valid, or whether a formula is a logical truth. ProofTools is capable of drawing proof trees for predicate, including identity, propositional and basic, normal, contingent-identity or constant domain modal logics. The program can export the final result to an image.
Easy to use and straightforward GUI
ProofTools’ graphical user interface boasts a simple design, it is easy to use and straightforward, and compresses all of its tools into a single window, so users can quickly access them and create proof of trees.
It allows users to change the interface’s or tree’s font, change the background and foreground color of the tree, set hotkeys, select modal logic variants, add premise, set conclusion, enable smooth lines, Tarski’s world syntax, abbreviate tree, and many other useful functions.
Under the hood and supported OSes
ProofTools is an application that uses both GTK+ and Qt cross-platform GUI toolkits for its graphical user interface. It has been written entirely in the Lazarus visual integrated development environment (IDE) and supports GNU/Linux, Microsoft Windows and Mac OS X operating systems.
Availability and supported architectures
The software is available for download for free, as pre-built binary packages with either the GTK+ or Qt GUIs, designed to support both 32-bit (x86) and 64-bit (x86_64) instruction set architectures. Please note that this is not an open-source application, so you won’t be able to download its source code.
Reviewed by Marius Nestor on October 10th, 2014
In a hurry? Add it to your Download Basket!
- 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.
Application descriptionProofTools is a free and multi-platform graphical application written in Qt and GTK+, designed to help users generate ...