Next: Connectives, Up: Basic Usage [Contents]
When Aris is loaded up, you will see a few things. You will see the rules window and a proof window. The rules window contains the different rules. A rule will not be selected if a premise is in focus.
The initial layout of Aris is a single sentence. From left to right, the items of a sentence are: its line number, its text entry, its evaluation value, and its rule. The rule will not be initially visible, since no rule has been selected. In addition, premises do not have rules, and thus the rule will not appear.