» Download Bertrand for Macintosh

365 KB | Excellent

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

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