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