Next: , Previous: Equivalence Rules, Up: Rules Index


6.3 Predicate Rules

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