Thank you for your review
Email me when discounted: 
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.

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.


System 7.1 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

Bertrand User Discussion

To leave a comment, you need to be logged in.
Sort by: Time | Smiles
Bertrand needs a review. Be the first to review this app and get the discussion started!
Bertrand needs a rating. Be the first to rate this app and get the discussion started!
0 0


Current Version (1.x)


Downloads 1,707
Version Downloads 1,253
License Shareware
Date 01 Dec 1997
Platform OS Classic / PPC 32
Price Free