GNU Aris Manual: Rules Index

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.