コトバンクはYahoo!辞書と技術提携しています。

束縛変項 そくばくへんこう

大辞林 第三版の解説

そくばくへんこう【束縛変項】

述語論理の論理式の中で量記号の作用を受けている変項。

出典 三省堂大辞林 第三版について 情報

束縛変項の関連キーワード述語論理数量詞論理式量記号作用変項