Next: Boolean Rules, Previous: Equivalence Rules, Up: Rules Index [Contents]
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 |