GNU Aris Manual: Rules Index

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

## 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.