Rules Index - GNU Aris Manual
Description: GNU Aris Manual

Next: Customization, Previous: Keyboard Shortcuts, Up: Top

## 6 Rules Index

The rules are divided into five categories: Inference, Equivalence, Predicate, Boolean, and Miscellaneous.

- Inference Rules: Rules that work on basic logic.
- Equivalence Rules: Rules that work on sentence parts.
- Predicate Rules: Rules that work with predicates and quantifiers.
- Boolean Rules: Rules that handle Boolean Algebra
- Miscellaneous Rules: Rules that don't fit in anywhere else.