GNU Aris Manual: Basic Usage

Next: Menu Options, Previous: Options, Up: Top [Contents]

4 Basic Usage

This chapter describes the basic usage of GNU Aris.

• Startup: When the program is started.

• Connectives: Using connectives.

• Adding: Adding sentences to the proof.

• Selecting: Selecting sentences.

• Syntax: The syntax that Aris uses.