Pages that link to "Definition:Variable/Predicate Logic"
Jump to navigation
Jump to search
The following pages link to Definition:Variable/Predicate Logic:
Displayed 8 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Definition:Proper Name (← links)
- Definition:Universal Quantifier (← links)
- Definition:Predicate Symbol (← links)
- Definition:Arbitrary Name (redirect page) (← links)
- Definition:Variable (transclusion) (← links)
- Definition:Variable (Logic) (redirect page) (← links)
- Value of Term under Assignment Determined by Variables (← links)
- Substitution Instance of Term is Term (← links)
- Substitution Theorem for Terms (← links)
- Substitution Instance of WFF is WFF (← links)
- Substitution Theorem for Well-Formed Formulas (← links)
- Definition:Freely Substitutable (← links)
- Definition:Universal Closure of Well-Formed Formula (← links)
- Definition:Value of Term under Assignment (← links)
- Definition:Extension of Assignment (← links)
- Definition:Substitution (Formal Systems)/Term/In Term (← links)
- Definition:Substitution (Formal Systems)/Term/In WFF (← links)
- Definition:Substitution (Formal Systems) (← links)
- Definition:Substitution (Formal Systems)/Term (← links)
- Definition:First-Order Property of Sets (← links)
- Definition:Hilbert Proof System/Predicate Logic/Instance 1 (← links)
- Definition talk:Variable/Descriptive Statistics (← links)
- Definition:Propositional Function (← links)
- Definition:Proper Name/Also known as (← links)