bn:21706358n
Noun Concept
Categories: 述語論理, 論理記号, 数学に関する記事, 数学の表記法, 変数 (数学)
JA
自由変数と束縛変数  束縛変数  束縛変項  自由変数  自由変項
JA
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。 Wikipedia
Definitions
Relations
Sources
JA
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。 Wikipedia