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

To leave a comment, you need to be logged in.
reviews_anchor
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

Ratings

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

Details

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