Updated on 14 Sep 2011
By Anthony Buckner
Safe To Install
Advertising











Specifications
License:
Freeware
Updated:
Downloads:
1025
Platform:
PPC, Mac OS
Publisher:
Larry Herzberg(more)
Website:
User Reviews:
Other versions:
Do you like
Bertrand?
Publisher's Descriptions
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.
Do you like
Bertrand?
System Requirements
PPC, System 7.1 or later

Bertrand Disclamer
Please be aware FindMySoft.com accepts no responsibility for the file you are downloading. The same applies to the information provided about the software products listed.
We do not allow the inclusion of any Bertrand serial, keygen or crack and we disclaim any liability for the inappropriate use of Bertrand.
FindMySoft advises that Bertrand should be only used in accordance with the rules of intellectual property and the existing Criminal Code.
For your own protection ALWAYS check downloaded files for viruses.
Advertising
Popular News
Popular micro-blogging and social networking service Twitter has made an announcement that came as a shock for advocates of online freedom. Twitter announced that as it continues to grow at
We all start the year with resolutions, such as “this year I’m going to more carefully watch what I eat”, or “this year I will try to be less stressed”. Most times we discard these resolutions just as easily as
Your Rating
1.0
out
of
5
Rated By
1 Users
Bertrand Screenshot
Popular Mac Software
Become A Fan!
Link To Us!
Bertrand
HTML Linking Code