GNU Aris Manual: Predicate Rules

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

### 6.3 Predicate Rules

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

• ug: |  | Universal Generalization
• ui: |  | Universal Instantiation
• eg: |  | Existential Generalization
• ei: |  | Existential Instantiation
• bv: |  | Bound Variable
• nq: |  | Null Quantifier
• pr: |  | Prenex
• ii: |  | Identity
• fv: |  | Free Variable