Pages that link to "Definition:Freely Substitutable"
Jump to navigation
Jump to search
The following pages link to Definition:Freely Substitutable:
Displayed 16 items.
- Universal Instantiation (← links)
- Existential Generalisation (← links)
- Confusion of Bound Variables (← links)
- Substitution Instance of WFF is WFF (← links)
- Substitution Theorem for Well-Formed Formulas (← links)
- Universal Instantiation/Model (← links)
- Existential Generalisation/Model (← links)
- Substitution Theorem for Well-Formed Formulas/Corollary (← links)
- Alphabetic Substitution is Semantically Equivalent (← links)
- Alphabetic Substitution is Semantically Equivalent/Universal Quantifier (← links)
- Alphabetic Substitution is Semantically Equivalent/Existential Quantifier (← links)
- Universal Instantiation/Proof System (← links)
- Existential Generalisation/Proof System (← links)
- Definition:Occurrence (Predicate Logic) (← links)
- Definition:Alphabetic Substitution (← links)
- Definition:Hilbert Proof System/Predicate Logic/Instance 1 (← links)