free and bound variables (Q935944)
Jump to navigation
Jump to search
classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier
- free variables and bound variables
Language | Label | Description | Also known as |
---|---|---|---|
English | free and bound variables |
classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier |
|
Statements
Identifiers
Sitelinks
Wikipedia(11 entries)
- arwiki المتغير الحر والمتغير المقيد
- dewiki Freie Variable und gebundene Variable
- enwiki Free variables and bound variables
- eswiki Variable libre y variable ligada
- fawiki متغیر آزاد و متغیر مقید
- jawiki 自由変数と束縛変数
- kowiki 자유 변수와 종속 변수
- ptwiki Variáveis livres e ligadas
- svwiki Fria och bundna variabler
- ukwiki Вільні і зв'язані змінні
- zhwiki 自由变量和约束变量