一般用語集

一般用語集

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

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