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

Suggest other similar software
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections!

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!


Current Version (1.x)


Downloads 1,710
Version Downloads 1,256
License Shareware
Date 01 Dec 1997
Platform OS Classic / PPC 32
Price Free
download install purchase purchase