Thank you for your review
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.


System 7.1 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Get these apps for
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,708
Version Downloads 1,254
License Shareware
Date 01 Dec 1997
Platform OS Classic / PPC 32
Price Free
download install download install purchase purchase
Save 91% The Fall Bundle 11 Awesome Apps • 1 Low Price