0
Thank you for your review
Free
http://www.macupdate.com/download/1480/bertrand18.sit
Email me when discounted: 

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.

Requirements

  • System 7.1 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

Bertrand User Discussion

Nobody has reviewed or commented on this app yet. Add your own comment and get a discussion going!
Sort by: Time | Smiles
There are no Ratings for this App yet.
0 0

Ratings

Overall
(0)
Current Version (1.x)
(0)

Details

Downloads 1,704
Version Downloads 1,250
License Shareware
Date 01 Dec 1997
Platform OS Classic / PPC 32
Price Free
Learn how MacUpdate Desktop makes installing apps from MacUpdate.com one-click easy.
Next time, install Bertrand with 1-click

Learn how MacUpdate Desktop can install apps on MacUpdate with the simple click of the Install apps with MacUpdate Desktop icon. Plus, keep all your apps updated.