そくばくへんこう【束縛変項】 〔bound variable〕 述語論理の論理式の中で量記号の作用を受けている変項。