用語集一般用語集>そくばくへんこう【束縛変項】

一般用語集


そくばくへんこう【束縛変項】 一般用語集 そ


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


一般用語集 五十音順