Next: Boolean Rules, Previous: Equivalence Rules, Up: Rules Index
The predicate rules are the rules that work specifically with predicate logic.