There are several other help windows besides the one shown on the previous page. They all concern the inputting of symbolic statements.
The Symbols help window shows the keystrokes necessary to produce logical characters when inputting premises.
To further simplify the statement-input process, Bertrand has six pre-defined macros for producing four-character-long quantifier strings-
There are also a number of Translation help windows for the beginner. If schools would like to license Bertrand, customized help windows could be written-
Bertrand also produces Truth Tables for truth-functional (non-quantificational) symbolic statements-
The dark rectangle underneath the main connective (the arrow displayed in bold style) indicates the truth values which determine the truth-functionality of the statement; the lighter rectangles indicate the truth values used to calculate those under the main connective. In this case, it is clear that the statement is truth-functionally indeterminate, as the Table Info window confirms-
By clicking on (or under) a different connective, you can see which columns of truth values it is operating upon.
The Preferences Dialog allows you to control the font size of various window types (font sizes of 9 to 72 point are available), as well as set printing margins; when preferences are saved, they include the current Optimization and Status Report settings, as set under the Options menu.
Finally, Bertrand outputs three kinds of files:
Premise files, which are generally quite small. They contain only the statements that are input to create a tree or truth table.
Tree files, which can be quite large. They contain all of the data necessary to redisplay a particular tree.
And Truth Table files. They contain all of the data necessary to redisplay a particular truth table.
Go to Bertrand Download Page