Next: Predicate Rules, Previous: Inference Rules, Up: Rules Index
Equivalence rules operate on any valid part of the sentence, and work both ways. Each equivalence rule requires one reference.