Download
365 KB | Excellent


License: Shareware
Downloads: 630
Added: 01 Dec 1997
Updated: 06 Mar 2009
Developer: Larry Herzberg(more)
Bertrand Screenshot

Bertrand Publisher Description

Bertrand is both an educational aid for students
of logic and a practical tool for philosophers,
logicians, computer programmers, and
mathematicians. Using an algorithm inspired by
the "consistency tree" method found in Leblanc
and Wisdom's textbook Deductive Logic,
Bertrand proceeds by decomposition and
instantiation to solve first-order predicate logic
statements for satisfiability, validity,
equivalence, logical truth, and logical falsity.
Subject-equality is supported. The program also
produces truth tables for truth-functional
sentences.


OS: PPC
Requirements: System 7.1 or later
Whats new:
Bertrand now can solve problems in the background. The user can freely access other programs, and work with all other aspects of Bertrand (including saving and printing files), while it is solving a problem. Optimization levels can now be changed "on the fly". Added "Branches Closed" line in the Routine Window. Fixed bug that caused premise files saved out of opened tree files to cause a file system error when opened. Many other internal improvements. Tested on OS 9.2.2 and 10.1 (in Classic mode).
Software news
Chromium OS Goes Open-Source
This summer Google let the world know that it is working on a new operating system meant for the user that spends most of his time online. The operating system – aptly named Chrome OS because it is a natural extension...
20 Nov 2009
Office 2010 Beta Downloads Available to the Public
Earlier this week Redmond-based software giant Microsoft announced that Office 2010 became available for download as a Beta. The catch was that only ...
20 Nov 2009
Mozilla Releases: Firefox 3.6 Beta 3
The development process of the Firefox 3.6 browser is moving along rapidly. The first Beta version was released at the start of the month; Beta 2 was released about two weeks after Beta 1. About a week has passed since...
20 Nov 2009
New Labs Feature for Gmail: Green Robot!
The software developers at Google have announced the release of a new Gmail Labs offering called Green Robot! This new offering is meant to improve the Gmail Chat user experience by letting the ...
20 Nov 2009
Recommended Tools
FindMySoft certifies that Bertrand is SAFE TO INSTALL and does not contain any adware, spywae or viruses that might harm your computer or steal your informations
Bertrand does not contain any spyware, trojans or viruses and it is considered to be "Safe To Install". Embed Award
Options
Top Downloads
Link to us:
HTML code for linking to Bertrand