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











Specifications
License:
Freeware
Updated:
Downloads:
1031
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


Do you like Bertrand

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
The “Who Touched my Phone” app will show you who snooped on your iPhone while you were away.
The Suspend Background Tabs add-on will prevent background tabs from running periodical actions, thus improving the browser’s performance and preventing unnecessary CPU load.
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