Next: , Previous: Options, Up: Top


4 Basic Usage

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. Hit Ctrl+J to add a conclusion. The selected conclusion is highlighted in cyan. Now, hold CTRL, and left-click on the first premise. The premise will be highlighted violet. This is a reference sentence.