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
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.
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:
- main category:
- Others
- developer:
- visit homepage
ShareX
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
Context Menu Manager
Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow
7-Zip
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
Zoom Client
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
calibre
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
4k Video Downloader
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
Microsoft Teams
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
Bitdefender Antivirus Free
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
IrfanView
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
Windows Sandbox Launcher
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
38% discount
Bitdefender Antivirus Free
- Bitdefender Antivirus Free
- IrfanView
- Windows Sandbox Launcher
- ShareX
- Context Menu Manager
- 7-Zip
- Zoom Client
- calibre
- 4k Video Downloader
- Microsoft Teams
essentials
Click to load comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy