Next: , Previous: , 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

AltStyle によって変換されたページ (->オリジナル) /