Next: , Previous: Equivalence Rules, Up: Rules Index   [Contents]


6.3 Predicate Rules

The predicate rules are the rules that work specifically with predicate logic.