Next: Customization, Previous: Menu Options, Up: Top [Contents]
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. |