Next: Predicate Rules, Previous: Inference Rules, Up: Rules Index [Contents]
Equivalence rules operate on any valid part of the sentence, and work both ways. Each equivalence rule requires one reference.
| • im: | Implication | |
| • dm: | DeMorgan | |
| • as: | Association | |
| • co: | Commutativity | |
| • id: | Idempotence | |
| • dt: | Distribution | |
| • eq: | Equivalence | |
| • dn: | Double Negation | |
| • ep: | Exportation | |
| • sb: | Subsumption | |
| • Recursion: | Recursion in the equivalence rules |