Next: Sequence Logic, Previous: Keyboard Shortcuts, Up: Top
The rules are divided into four categories: Inference, Equivalence, Predicate, and Miscellaneous.